Automatic theorem proving

15 titles from eBooks.com
There's Something About Gödel: The Complete Guide to the Incompleteness Theorem

There's Something About Gödel

The Complete Guide to the Incompleteness Theorem

Wiley (2011)
US$30.56

Berto’s highly readable and lucid guide introduces students and the interested reader to Gödel’s...

Rippling: Meta-Level Guidance for Mathematical Reasoning
US$89.99

A unique, systematic and comprehensive introduction to rippling and to the wider subject of...

Digitized: The science of computers and how it shapes our world

Digitized

The science of computers and how it shapes our world

OUP Oxford (2012)
US$11.99

Everyone uses computers today. But what do you really know about them? Using the voices of pioneers...

Proof Technology and Computation
IOS Press (2006)
US$156.00

Software engineers have integrated proof processing into industrial development tools, and these...

Logic Colloquium '86
US$99.95

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives...

A Many-Sorted Calculus Based on Resolution and Paramodulation
US$31.95

A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of...

A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

A Computational Logic Handbook

Formerly Notes and Reports in Computer Science and Applied Mathematics

US$72.95

Perspectives in Computing: A Computational Logic Handbook contains a precise description of the...

Automated Theorem Proving: A Logical Basis

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

US$84.99

This book constitutes the refereed proceedings of the 16th International Conference on Automated...