Meta-Programming in Logic, Alberto Pettorossi

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

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

Автор: Peter J. Stuckey
Название: Logic Programming
ISBN: 3540439307 ISBN-13(EAN): 9783540439301
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. All current aspects of logic programming and computational logic are addressed.

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

Автор: Tamas Gergely; Laszlo Ury
Название: First-Order Programming Theories
ISBN: 3642635032 ISBN-13(EAN): 9783642635038
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

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

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

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

Автор: Bing-Yuan Cao
Название: Fuzzy Geometric Programming
ISBN: 1461348846 ISBN-13(EAN): 9781461348849
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: lnspired by Zadeh`s fuzzy sets theory, fuzzy geometric programming emerges from the combination of fuzzy sets theory with geometric programming, where models are built in the fuzzy posynomial and the reverse geometric program- ming.

Автор: Young-Jou Lai; Ching-Lai Hwang
Название: Fuzzy Mathematical Programming
ISBN: 354056098X ISBN-13(EAN): 9783540560982
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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