Logic Programming `85, Eiiti Wada

Автор: Patricia M. Hill; David S. Warren
Название: Logic Programming
ISBN: 3642028454 ISBN-13(EAN): 9783642028458
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 25th International Conference ICLP 2009 Pasadena CA USA July 1417 2009 Proceedings. .

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

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

Автор: Ford Beverley
Название: Logic Programming with Prolog
ISBN: 144715486X ISBN-13(EAN): 9781447154860
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Assuming no programming experience on the reader`s part, this book starts from scratch and aims to arrive at the point where quite powerful programs can be written in the Prolog language. This second edition is revised to be fully compatible with SWI-Prolog.

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

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

Автор: Peter Barth
Название: Logic-Based 0–1 Constraint Programming
ISBN: 0792396634 ISBN-13(EAN): 9780792396635
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment.

Автор: Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias
Название: Parallel and Constraint Logic Programming
ISBN: 0792383710 ISBN-13(EAN): 9780792383710
Издательство: Springer
Рейтинг:
Цена: 167660.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constraint Logic Programming (CLP) extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. This book presents parallel and constraint logic programming, offering a basic understanding of the two fields.

Автор: Michel Parigot; Andrei Voronkov
Название: Logic for Programming and Automated Reasoning
ISBN: 3540412859 ISBN-13(EAN): 9783540412854
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming.

Автор: Evan Tick; Giancarlo Succi
Название: Implementations of Logic Programming Systems
ISBN: 0792394577 ISBN-13(EAN): 9780792394570
Издательство: Springer
Рейтинг:
Цена: 139710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a collection of research papers in the area of the implementation of logic programming systems. This book is intended for those who seek an understanding of how to efficiently manage memory, generate fast code, perform static analyses, and design high-performance runtime features.

Автор: V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3540594876 ISBN-13(EAN): 9783540594871
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research.

Автор: Laurent Fribourg; Franco Turini
Название: Logic Program Synthesis and Transformation - Meta-Programming in Logic
ISBN: 3540587926 ISBN-13(EAN): 9783540587927
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the joint proceedings of the 4th International Workshop on Logical Program Synthesis and Transformation, and the 4th Workshop on Meta-Programming, held in Pisa, Italy in June 1994.