Algebraic and Logic Programming, Michael Hanus; Mario Rodriguez-Artalejo

Автор: 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.

Автор: Helene Kirchner; Wolfgang Wechler
Название: Algebraic and Logic Programming
ISBN: 3540531629 ISBN-13(EAN): 9783540531623
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.

Автор: 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.

Автор: Patricia M. Hill; David S. Warren
Название: Logic Programming
ISBN: 3642028454 ISBN-13(EAN): 9783642028458
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 25th International Conference ICLP 2009 Pasadena CA USA July 1417 2009 Proceedings. .

Автор: Agostino Dovier; Enrico Pontelli
Название: A 25-Year Perspective on Logic Programming
ISBN: 3642143083 ISBN-13(EAN): 9783642143083
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students.

Название: 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.

Автор: 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.

Автор: 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;

Автор: 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.

Автор: Esra Erdem; Fangzhen Lin; Torsten Schaub
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642042376 ISBN-13(EAN): 9783642042379
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14-18, 2009 in Potsdam, Germany.

Автор: Inoue
Название: Inductive Logic Programming
ISBN: 3319405659 ISBN-13(EAN): 9783319405650
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015.The 14 revised papers presented were carefully reviewed and selected from 44 submissions. The papers focus on topics such as theories, algorithms, representations and languages, systems and applications of ILP, and cover all areas of learning in logic, relational learning, relational data mining, statistical relational learning, multi-relational data mining, relational reinforcement learning, graph mining, connections with other learning paradigms, among others.