Skip to contents

Plaisted, David A. [Author]; Zhu, Yunshan [Author]

The efficiency of theorem proving strategies : a comparative and asymptotic analysis - [2., rev. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1999

Published in: Computational intelligence
Wos, Larry [Author]; Pieper, Gail W. [Author]

A fascinating country in the world of computing : your guide to automated reasoning

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Singapore [u.a.]: World Scientific, 1999
Bertot, Yves [Author]; Castéran, Pierre [Author]

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Texts in theoretical computer science
Wos, Larry [Author]; Pieper, Gail W. [Author]

Automated reasoning and the discovery of missing and elegant proofs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paramus, NJ: Rinton Pr., 2003
Gurres, Harald [Author]

Automatisches Beweisen mit disjunktiven Beweisverfahren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2001
Bibel, Wolfgang [Editor]

Automated deduction : a basis for applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer, 1998-

Published in: Applied logic series ; .
Baumgartner, Peter [Author]

Theory reasoning in connection calculi

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1527
Simons, Martin [Author]

The presentation of formal proofs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1997

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 278
Hutter, Dieter [Author]

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1991
Schneeberger, Josef [Author]

Plan generation by linear deduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1992
Journal of automated reasoning

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Springer, 1985- ; Dordrecht [u.a.]: Kluwer Acad. Publ., -2004,1 ; Dordrecht [u.a.]: Reidel, früher / 1.1985 -
International Conference on Rewriting Techniques and Applications, RTA

Rewriting techniques and applications : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1985-1989 / 1.1985 - 3.1989
International Conference on Automated Deduction

Proceedings / International Conference on Automated Deduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1984-1988 / 7.1984 - 9.1988
Paulson, Lawrence C. [Author]

Isabelle : a generic theorem prover

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 828
Korn, Daniel [Author]

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sankt Augustin: Infix, 1999

Published in: Dissertationen zur künstlichen Intelligenz ; 198
De Swart, Harrie [Editor]; Swart, Harrie de [Editor] ; International Conference Tableaux 1998 Oisterwijk

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5 - 8, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1397
Thielscher, Michael [Author]

Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sankt Augustin: Infix, 1995

Published in: Dissertationen zur künstlichen Intelligenz ; 76
Hofbauer, Dieter [Author]; Kutsche, Ralf-Detlef [Author]

Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker - [2., verb. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig: Vieweg, 1991
Hummel, Birgit [Author]

Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1990
Dilger, Werner [Author]; Schneider, Hans-Albert [Author]

A theorem proving associative processor

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Fachbereich Informatik, Univ., [1985]

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 145

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication