Algebraic and Logic Programming, Helene Kirchner; Wolfgang Wechler

Автор: Oleg Kiselyov; Andy King
Название: Functional and Logic Programming
ISBN: 3319296035 ISBN-13(EAN): 9783319296036
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming;

Автор: Fabrizio Riguzzi; Filip Zelezny
Название: Inductive Logic Programming
ISBN: 3642388116 ISBN-13(EAN): 9783642388118
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.

Автор: Michael Hanus; Mario Rodriguez-Artalejo
Название: Algebraic and Logic Programming
ISBN: 3540617353 ISBN-13(EAN): 9783540617358
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings are divided into sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.

Автор: Michael Hanus; Jan Heering; Karl Meinke
Название: Algebraic and Logic Programming
ISBN: 3540634592 ISBN-13(EAN): 9783540634591
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work constitutes the proceedings of the sixth International Conference on Algebraic and Logic Programming and the third International Workshop on Higher-Order Algebra, Logic and Term Rewriting. Topics covered include functional and logic programming, higher-order methods and term rewriting.

Автор: Marcello Balduccini; Tomi Janhunen
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3319616595 ISBN-13(EAN): 9783319616599
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions.

Название: Inductive logic programming
ISBN: 3319237071 ISBN-13(EAN): 9783319237077
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions.

Автор: James Cussens; Alessandra Russo
Название: Inductive Logic Programming
ISBN: 3319633414 ISBN-13(EAN): 9783319633411
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions.

Автор: Michael Codish; Eijiro Sumii
Название: Functional and Logic Programming
ISBN: 3319071505 ISBN-13(EAN): 9783319071503
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.

Автор: Gerson Zaverucha; V?tor Santos Costa; Aline Paes
Название: Inductive Logic Programming
ISBN: 3662449226 ISBN-13(EAN): 9783662449226
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.

Автор: Thomas Eiter; Hannes Strass; Miros?aw Truszczy?ski
Название: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
ISBN: 3319147250 ISBN-13(EAN): 9783319147253
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd`s work.

Автор: Francesco Calimeri; Giovambattista Ianni; Miroslaw
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3319232630 ISBN-13(EAN): 9783319232638
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.

Автор: Matthias Baaz; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540000100 ISBN-13(EAN): 9783540000105
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.