Logic Programming, Peter J. Stuckey

Автор: Michel Parigot; Andrei Voronkov
Название: Logic for Programming and Automated Reasoning
ISBN: 3540412859 ISBN-13(EAN): 9783540412854
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jan Maluszynski; Martin Wirsing
Название: Programming Language Implementation and Logic Programming
ISBN: 3540544445 ISBN-13(EAN): 9783540544449
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of the Third International Symposium on Programming Language Implementation and Logic Programming was to explore declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages. Along with the two invited talks, this book also contains 32 papers, and abstracts of several system demonstrations.

Автор: Alberto Pettorossi
Название: Meta-Programming in Logic
ISBN: 3540562826 ISBN-13(EAN): 9783540562825
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference papers covers a number of topics, including the foundations of meta-programming in logic, proposals for meta-programming languages, techniques for knowledge representation, program transformation and analysis in logic.

Автор: Giorgio Ausiello; Mariangiola Dezani-Ciancaglini;
Название: Automata, Languages and Programming
ISBN: 354051371X ISBN-13(EAN): 9783540513711
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS).

Автор: Gerard Comyn; Norbert E. Fuchs; Michael J. Ratclif
Название: Logic Programming in Action
ISBN: 3540559302 ISBN-13(EAN): 9783540559306
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The results of a summer school on logic programming, containing research papers that are organized into sections on constraint logic programming, deductive databases and expert systems, the processing of natural and formal languages, software engineering and computer education.

Автор: H. Paul Williams
Название: Logic and Integer Programming
ISBN: 1441947132 ISBN-13(EAN): 9781441947130
Издательство: Springer
Рейтинг:
Цена: 9077.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a concise, readable introduction to the science and art of using modeling in logic for integer programming. References for further study are given at the end of each chapter, exercises are included, and applications in diverse fields are discussed.

Автор: Deng-Feng Li
Название: Linear Programming Models and Methods of Matrix Games with Payoffs of Triangular Fuzzy Numbers
ISBN: 3662484749 ISBN-13(EAN): 9783662484746
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book offers a valuable resource for readers involved in theoretical research and practical applications from a range of different fields including game theory, operational research, management science, fuzzy mathematical programming, fuzzy mathematics, industrial engineering, business and social economics.

Автор: G. Ausiello; C. B?hm
Название: Automata, Languages and Programming
ISBN: 3540088601 ISBN-13(EAN): 9783540088608
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: S. Even; O. Kariv
Название: Automata, Languages and Programming
ISBN: 3540108432 ISBN-13(EAN): 9783540108436
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Laurent Kott
Название: Automata, Languages and Programming
ISBN: 3540167617 ISBN-13(EAN): 9783540167617
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Austin Melton
Название: Mathematical Foundation of Programming Semantics
ISBN: 3540168168 ISBN-13(EAN): 9783540168164
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michael Main; Austin Melton; Michael Mislove; Davi
Название: Mathematical Foundations of Programming Language Semantics
ISBN: 3540190201 ISBN-13(EAN): 9783540190202
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987.