Handbook of automated reasoning

Handbook of automated reasoning

Weitere Versionen anzeigen (1)

Handbook of Automated Reasoning

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Amsterdam New York Cambridge, Mass. Elsevier MIT Press © 2001
Schlagworte:	Automatic theorem proving Qualitative reasoning Artificial Intelligence Automatisches Beweisverfahren
Online-Zugang:	DE-860 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated theorem proving theory and practice
von: Newborn, Monroe
Veröffentlicht: (2001)

The collected works of Larry Wos
von: Wos, Larry
Veröffentlicht: (2000)

Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings
Veröffentlicht: (2009)

Automated deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997 ; proceedings
Veröffentlicht: (1997)

Advances in logic through automated reasoning
Veröffentlicht: (2001)

The efficiency of theorem proving strategies a comparative and asymptotic analysis
von: Plaisted, David A., et al.
Veröffentlicht: (1997)

Automated deduction - Cade-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; proceedings
Veröffentlicht: (1996)

Theory reasoning in connection calculi
von: Baumgartner, Peter
Veröffentlicht: (1998)

Automated deduction CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2 - 7, 2009 ; proceedings
Veröffentlicht: (2009)

A fascinating country in the world of computing your guide to automated reasoning
von: Wos, Larry, et al.
Veröffentlicht: (1999)

Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994 ; proceedings
Veröffentlicht: (1994)

Machine proofs in geometry : automated production of readable proofs for geometry theorems
von: Chou, Shang-Ching 1946-
Veröffentlicht: (1995)

Maximal clause length resolution
von: Marinov, Vesko Genov
Veröffentlicht: (1973)

Theorem proving in higher order logics 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings
Veröffentlicht: (2008)

Theorem proving in higher order logics 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; proceedings
Veröffentlicht: (1997)

Proof theory and automated deduction
von: Goubault-Larrecq, Jean, et al.
Veröffentlicht: (1997)

Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
von: Chlipala, Adam
Veröffentlicht: (2013)

Applications of quantifier elimination to mechanical theorem proving
von: Galda, Klaus, et al.
Veröffentlicht: (1972)

Interactive theorem proving and program development Coq'Art, the calculus of inductive constructions
von: Bertot, Yves, et al.
Veröffentlicht: (2004)

On theorem provers for circumscription
von: Inoue, Katsumi, et al.
Veröffentlicht: (1990)

On simultaneous rigid E-unification
von: Veanes, Margus
Veröffentlicht: (1997)

Extracting answers in circumscription
von: Helft, Nicolas, et al.
Veröffentlicht: (1990)

Embedding negation as failure into a model generation theorem prover
von: Inoue, Katsumi, et al.
Veröffentlicht: (1991)

Linear resolution for consequence-finding
von: Inoue, Katsumi
Veröffentlicht: (1991)

SETHEO a high-performance theorem prover
Veröffentlicht: (1990)

SETHEO/PARTHEO users manual
von: Schumann, Johann, et al.
Veröffentlicht: (1990)

SETHEO a high-performance theorem prover
Veröffentlicht: (1990)

SETHEO PARTHEO users manual
von: Schumann, Johann, et al.
Veröffentlicht: (1990)

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Veröffentlicht: (2003)

Automated Theorem Proving A Logical Basis
von: Loveland, D.W
Veröffentlicht: (2014)

Automated mathematical induction
Veröffentlicht: (1996)

Machine proofs in geometry automated production of readable proofs for geometry theorems
von: Chou, Shang-Ching, et al.
Veröffentlicht: (1994)

Computer algebra and mechanized reasoning selected St. Andrews' ISSAC, Calculemus 2000 contributions
Veröffentlicht: (2001)

A computational logic
von: Boyer, Robert S., et al.
Veröffentlicht: (1979)

Mathematics mechanization and applications
Veröffentlicht: (2000)

A proof procedure for extended logic programs
von: Teusink, Frank
Veröffentlicht: (1993)

Conditional and preferential logics proof methods and theorem proving
von: Pozzato, Gian Luca
Veröffentlicht: (2010)

Conditional and preferential logics proof methods and theorem proving
von: Pozzato, Gian Luca
Veröffentlicht: (2010)

Program synthesis by a model generation theorem prover
von: Fujita, Masayuki, et al.
Veröffentlicht: (1991)

Automated theorem proving a logical basis
von: Loveland, Donald W. 1934-
Veröffentlicht: (1978)