Automated Deduction - CADE-18, Andrei Voronkov

Автор: Amy P. Felty; Aart Middeldorp
Название: Automated Deduction - CADE-25
ISBN: 3319214004 ISBN-13(EAN): 9783319214009
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

Автор: Leonardo de Moura
Название: Automated Deduction – CADE 26
ISBN: 3319630458 ISBN-13(EAN): 9783319630458
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.

Автор: Michael A. McRobbie; J.K. Slaney
Название: Automated Deduction - Cade-13
ISBN: 3540615113 ISBN-13(EAN): 9783540615118
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Maria Paola Bonacina
Название: Automated Deduction -- CADE-24
ISBN: 3642385737 ISBN-13(EAN): 9783642385735
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

Автор: David McAllester
Название: Automated Deduction - CADE-17
ISBN: 3540676643 ISBN-13(EAN): 9783540676645
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The refereed proceedings of the 17th International Conference on Automated Deduction. The research papers and system descriptions presented cover a variety of topics related to theorem proving and its applications. Also included are contributions corresponding to invited talks and tutorials.

Автор: Claude Kirchner; Helene Kirchner
Название: Automated Deduction - CADE-15
ISBN: 3540646752 ISBN-13(EAN): 9783540646754
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers addressing issues in automated deduction and theorem-proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics. Applications are also discussed.

Автор: William McCune
Название: Automated Deduction - CADE-14
ISBN: 3540631046 ISBN-13(EAN): 9783540631040
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presented in this volume are 25 papers taken from the proceedings of an international conference on automated deduction. The papers cover a range of topics including resolution, term rewriting, unification theory, high-order logics, and nonstandard logics.

Автор: Harald Ganzinger
Название: Automated Deduction - CADE-16
ISBN: 3540662227 ISBN-13(EAN): 9783540662228
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.

Автор: Renate Schmidt
Название: Automated Deduction – CADE-22
ISBN: 3642029582 ISBN-13(EAN): 9783642029585
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Автор: J?rg H. Siekmann
Название: 8th International Conference on Automated Deduction
ISBN: 3540167803 ISBN-13(EAN): 9783540167808
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Francisco Botana; Tomas Recio
Название: Automated Deduction in Geometry
ISBN: 354077355X ISBN-13(EAN): 9783540773559
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. This book presents 13 revised full papers.