Programming Language Implementation and Logic Programming, Jan Maluszynski; Martin Wirsing

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

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

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

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

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

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

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

Автор: 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 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

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