Skip to contents

Socher, Rolf [Author]; Johann, Patricia [Author]

Deduction systems

Close

Bookmarks

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

New York; Heidelberg [u.a.]: Springer, c 1997

Published in: Graduate texts in computer science
Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author]

Proving properties of finite enumerations : a problem set for automated theorem provers

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,12
Reif, Wolfgang [Author]; Schellhorn, Gerhard [Author]

Theorem proving in large theories

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,14
Bläsius, Karl Hans [Editor]

Deduktionssysteme : Automatisierung des logischen Denkens; mit 8 Tab.

Close

Bookmarks

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

München; Wien: Oldenbourg, 1987
Schellhorn, Gerhard [Author]

Proving properties of directed graphs : a problem set for automated theorem provers

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,12
Goubault-Larrecq, Jean [Author]; Mackie, Ian [Author]

Proof theory and automated deduction

Close

Bookmarks

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

Dordrecht [u.a.]: Kluwer Academic, 1997

Published in: Applied logic series ; 6
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
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
Duffy, David A. [Author]

Principles of automated theorem proving

Close

Bookmarks

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

Chichester [u.a.]: Wiley, 1991

Published in: Wiley professional computing
Leitsch, Alexander [Author]

The resolution calculus

Close

Bookmarks

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

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

Published in: Texts in theoretical computer science
Socher, Rolf [Author]

Deduktionssysteme

Close

Bookmarks

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

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994
Williams, James G. [Author]

Instantiation theory : on the foundations of automated deduction

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 518
Wu, Wen-Tsun [Author] ; Wu, Wenjun [Other]

Mechanical theorem proving in geometries : basic principles

Close

Bookmarks

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

Wien [u.a.]: Springer, 1994

Published in: Texts and monographs in symbolic computation
Pfalzgraf, Jochen [Editor]; Wang, Dongming [Other]

Automated practical reasoning : algebraic approaches

Close

Bookmarks

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

Wien [u.a.]: Springer-Verl., 1995

Published in: Texts and monographs in symbolic computation
Quaife, Art [Author]

Automated development of fundamental mathematical theories

Close

Bookmarks

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

Dordrecht [u.a.]: Kluwer Academic, 1992

Published in: Automated reasoning series ; 2
Hofbauer, Dieter [Author]; Kutsche, Ralf-Detlef [Author]

Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker

Close

Bookmarks

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

Braunschweig; Wiesbaden: Vieweg, 1989
Siekmann, Jörg H. [Editor]

Automation of reasoning

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1983-

Published in: Symbolic computation
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
Stachniak, Zbigniew [Author]

Resolution proof systems : an algebraic theory

Close

Bookmarks

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

Dordrecht [u.a.]: Kluwer Academic, 1996

Published in: Automated reasoning series ; 4

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