Automated Reasoning, Galmiche

Автор: Andrei Voronkov
Название: Logic Programming and Automated Reasoning
ISBN: 354055727X ISBN-13(EAN): 9783540557272
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.

Автор: St?phane Demri; Deepak Kapur; Christoph Weidenbach
Название: Automated Reasoning
ISBN: 3319085867 ISBN-13(EAN): 9783319085869
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

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

Автор: Rajeev Gore; Alexander Leitsch; Tobias Nipkow
Название: Automated Reasoning
ISBN: 3540422544 ISBN-13(EAN): 9783540422549
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Peter E. Lauer
Название: Functional Programming, Concurrency, Simulation and Automated Reasoning
ISBN: 3540568832 ISBN-13(EAN): 9783540568834
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.

Автор: Frank Pfenning
Название: Logic Programming and Automated Reasoning
ISBN: 3540582169 ISBN-13(EAN): 9783540582168
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the "Marshal Koshevoi" near Kiev in July 1994, are recorded in this volume. The research papers cover all relevant aspects, ranging from theory to implementation and application.

Автор: Jacques Calmet; Belaid Benhamou; Olga Caprotti; La
Название: Artificial Intelligence, Automated Reasoning, and Symbolic Computation
ISBN: 3540438653 ISBN-13(EAN): 9783540438656
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, held in France in 2002. The 24 papers cover automated theorem proving, logical reasoning, mathematical modeling, algebraic computations and more.

Автор: Uwe Egly; Christian G. Fernm?ller
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3540439293 ISBN-13(EAN): 9783540439295
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These are the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.

Автор: Harald Ganzinger; David McAllester; Andrei Voronko
Название: Logic Programming and Automated Reasoning
ISBN: 3540664920 ISBN-13(EAN): 9783540664925
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation.

Автор: Roy Dyckhoff
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 354067697X ISBN-13(EAN): 9783540676973
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000. Topics covered range from theoretical foundations to implementation, systems development and applications.

Автор: Robert Stephen Boyer
Название: Automated Reasoning
ISBN: 9401055424 ISBN-13(EAN): 9789401055420
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These essays are collected together here not only to acknowledge Bledsoe`s manifold and substantial scientific contributions but also to express our appreciation for the great care and energy that he has devoted to nurturing many of the scientists working in those scientific fields he has helped found.

Автор: Maria Paola Bonacina; Mark E. Stickel
Название: Automated Reasoning and Mathematics
ISBN: 3642366740 ISBN-13(EAN): 9783642366741
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.