A 25-Year Perspective on Logic Programming, Agostino Dovier; Enrico Pontelli

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

Автор: Torra
Название: Scala: From a Functional Programming Perspective
ISBN: 3319464809 ISBN-13(EAN): 9783319464800
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book gives an introduction to the programming language Scala. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types.

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

Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540894381 ISBN-13(EAN): 9783540894384
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.

Автор: Jacques Garrigue; Manuel Hermenegildo
Название: Functional and Logic Programming
ISBN: 3540789685 ISBN-13(EAN): 9783540789680
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. This book includes papers that are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, and logic and lambda-calculus.

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