Автор: Rajeev Gore; Alexander Leitsch; Tobias Nipkow Название: Automated Reasoning ISBN: 3540422544 ISBN-13(EAN): 9783540422549 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andrei Voronkov Название: Logic Programming and Automated Reasoning ISBN: 354055727X ISBN-13(EAN): 9783540557272 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Jacques Calmet; Belaid Benhamou; Olga Caprotti; La Название: Artificial Intelligence, Automated Reasoning, and Symbolic Computation ISBN: 3540438653 ISBN-13(EAN): 9783540438656 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Robert Stephen Boyer Название: Automated Reasoning ISBN: 9401055424 ISBN-13(EAN): 9789401055420 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Didier Galmiche; Dominique Larchey-Wendling Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3642405363 ISBN-13(EAN): 9783642405365 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talks.- Witness Runs for Counter Machines (Abstract).- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.- Research Papers.- Dealing with Symmetries in Modal Tableaux.- Tableaux for Verification of Data-Centric Processes.- Bounded Proofs and Step Frames.- Compression of Propositional Resolution Proofs by Lowering Subproofs.- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.- Hypersequent and Labelled Calculi for Intermediate Logics.- TATL: Implementation of ATL Tableau-Based Decision Procedure.- A Terminating Evaluation-Driven Variant of G3i.- Model Checking General Linear Temporal Logic.- Semantically Guided Evolution of SHI ABoxes.- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.- Understanding Resolution Proofs through Herbrand's Theorem.- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.- Prefixed Tableau Systems for Logic of Proofs and Provability.- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.- Schemata of Formul in the Theory of Arrays.- TAFA - A Tool for Admissibility in Finite Algebras.- Formalizing Cut Elimination of Coalgebraic Logics in Coq.- Intelligent Tableau Algorithm for DL Reasoning.
Автор: St?phane Demri; Deepak Kapur; Christoph Weidenbach Название: Automated Reasoning ISBN: 3319085867 ISBN-13(EAN): 9783319085869 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 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.
Описание: 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.
Автор: Uwe Egly; Christian G. Fernm?ller Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3540439293 ISBN-13(EAN): 9783540439295 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: J?rgen Giesl; Reiner H?hnle Название: Automated Reasoning ISBN: 3642142028 ISBN-13(EAN): 9783642142024 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
