Explore Books on
automatisches beweisverfahren

1-24 of 27 Books

Cover of Logic for problem solving by robert kowalski

Logic for problem solving

By Robert Kowalski

Cover of Automated Theorem Proving in Software Engineering by johann m. schumann

Automated Theorem Proving in Software Engineering

By Johann M. Schumann

Cover of Computation, proof, machine by gilles dowek

Computation, proof, machine

By Gilles Dowek

Cover of Model Generation for Natural Language Interpretation and Analysis by karsten konrad

Model Generation for Natural Language Interpretation and Analysis

By Karsten Konrad

Cover of Automated Reasoning and Mathematics by maria paola bonacina

Automated Reasoning and Mathematics

By Maria Paola Bonacina

Cover of A many-sorted calculus based on resolution and paramodulation by christoph walther

A many-sorted calculus based on resolution and paramodulation

By Christoph Walther

Cover of Theorem proving in higher order logics by yves bertot,gilles dowek,andre hirschowitz

Theorem proving in higher order logics

By Yves Bertot,Gilles Dowek,Andre Hirschowitz

Cover of Automated Reasoning with Analytic Tableaux and Related Methods by neil v. murray

Automated Reasoning with Analytic Tableaux and Related Methods

By Neil V. Murray

Cover of From logic design to logic programming by dominique snyers

From logic design to logic programming

By Dominique Snyers

Cover of Automated Deduction in Nonclassical Logics by lincoln a. wallen

Automated Deduction in Nonclassical Logics

By Lincoln A. Wallen

Cover of Frontiers of combining systems by frocos 2002 (2002 santa margherita ligure, italy)

Frontiers of combining systems

By FroCoS 2002 (2002 Santa Margherita Ligure, Italy)

Cover of Advances in computing science--ASIAN '99 by asian computing science conference (5th 1999 phuket, thailand)

Advances in computing science--ASIAN '99

By Asian Computing Science Conference (5th 1999 Phuket, Thailand)

Cover of The resolution calculus by alexander leitsch

The resolution calculus

By Alexander Leitsch

Cover of Logics in artificial intelligence by european workshop jelia'98 (1998 dagstuhl, germany)

Logics in artificial intelligence

By European Workshop JELIA'98 (1998 Dagstuhl, Germany)

Cover of Automated Reasoning with Analytic Tableaux and Related Methods by uwe egly

Automated Reasoning with Analytic Tableaux and Related Methods

By Uwe Egly

Cover of Automated Theorem Proving by w. bibel

Automated Theorem Proving

By W. Bibel

Cover of Automated theorem proving by w. bibel

Automated theorem proving

By W. Bibel

Cover of Automatische Synthese rekursiver Programme als Beweisverfahren by susanne biundo

Automatische Synthese rekursiver Programme als Beweisverfahren

By Susanne Biundo

Cover of Automatisierung von Terminierungsbeweisen by christoph walther

Automatisierung von Terminierungsbeweisen

By Christoph Walther

Cover of Grundlagen des maschinellen Beweisens by dieter hofbauer,ralf-detlef kutsche

Grundlagen des maschinellen Beweisens

By Dieter Hofbauer,Ralf-Detlef Kutsche

Cover of Frontiers of Combining Systems by bernhard gramlich

Frontiers of Combining Systems

By Bernhard Gramlich

Cover of Automated theorem-proving in non-classical logics by paul b. thistlewaite

Automated theorem-proving in non-classical logics

By Paul B. Thistlewaite

Cover of Proceedings by international conference on automated deduction (10th 1990 kaiserslautern, germany)

Proceedings

By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)

Cover of Theorem proving with the real numbers by harrison, j.

Theorem proving with the real numbers

By Harrison, J.