Logic Programming, Peter J. Stuckey

Автор: H. Paul Williams
Название: Logic and Integer Programming
ISBN: 1441947132 ISBN-13(EAN): 9781441947130
Издательство: Springer
Рейтинг:
Цена: 60510.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Young-Jou Lai; Ching-Lai Hwang
Название: Fuzzy Mathematical Programming
ISBN: 354056098X ISBN-13(EAN): 9783540560982
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: To improve flexibility and robustness of fuzzymathematical programming techniques, we also present ourexpert decision-making support system IFLP which considersand solves all possibilities of a specific domain of (fuzzy)linear programming problems.

Автор: Tamas Gergely; Laszlo Ury
Название: First-Order Programming Theories
ISBN: 3642635032 ISBN-13(EAN): 9783642635038
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.

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

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

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

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

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

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

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