Logic Programming in Action, Gerard Comyn; Norbert E. Fuchs; Michael J. Ratclif

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

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

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

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

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

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

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

Автор: Shi-Yu Huang; Jaques Teghem
Название: Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
ISBN: 9401074496 ISBN-13(EAN): 9789401074490
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Lastly the constraints, expressed by equalities or inequalities between linear expressions, are often softer in reality that what their mathematical expression might let us believe, and infeasibility as detected by the linear programming techniques can often been coped with by making trade-offs with the real world.

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

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