Constraints in Computational Logics, Jean-Pierre Jouannaud

Автор: Jacopo Mauro
Название: Constraints Meet Concurrency
ISBN: 9462390665 ISBN-13(EAN): 9789462390669
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes benefits that emerge when the fields of constraint programming and concurrency meet. Proposes an extension to Service Oriented Languages to overcome some of their limitations and to improve the development of concurrent applications.

Автор: Angelo Oddi; Fran?ois Fages; Francesca Rossi
Название: Recent Advances in Constraints
ISBN: 3642032508 ISBN-13(EAN): 9783642032509
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.

Автор: Fran?ois Fages; Francesca Rossi; Sylvain Soliman
Название: Recent Advances in Constraints
ISBN: 3540898115 ISBN-13(EAN): 9783540898115
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. This book addresses various aspects of constraint and logic programming, including foundational issues, and implementation techniques.

Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban;
Название: Theorem Proving in Higher Order Logics
ISBN: 364203358X ISBN-13(EAN): 9783642033582
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

Автор: Elsa L. Gunter; Amy Felty
Название: Theorem Proving in Higher Order Logics
ISBN: 3540633790 ISBN-13(EAN): 9783540633792
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume comprises the proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs `97. Papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics.

Автор: Marco Aiello; Ian Pratt-Hartmann; Johan van Benthe
Название: Handbook of Spatial Logics
ISBN: 9402404708 ISBN-13(EAN): 9789402404708
Издательство: Springer
Рейтинг:
Цена: 61352.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems.

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Рейтинг:
Цена: 30096.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.

Автор: Walter Carnielli; R.L. Epstein; Itala M. d`Ottavia
Название: The Semantic Foundations of Logic Volume 1: Propositional Logics
ISBN: 9401067228 ISBN-13(EAN): 9789401067225
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 1
ISBN: 3642081452 ISBN-13(EAN): 9783642081453
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. Fuzzy logics,approximation logics, and probability logics all addressquestions that classical logic alone cannot answer.