Filters
Advanced Search Browse by Genre

Found 440 results for "Automatic theorem proving"

Logic for computer science
Logic for computer science

by Jean H. Gallier

1985 6 ed.
Automatic theorem proving Symbolic and mathematical... Logic, symbolic and mathe...
Strategies for improving the efficiency of automatic theorem-proving
Strategies for improving the efficiency of automatic theorem...

by Donald Kuehner

1971 1 ed.
Completely non-clausal, completely neuristically driven, automatic theorem proving
Completely non-clausal, completely neuristically driven, aut...

by Francis Jeffry Pelletier

1983 1 ed.
Automated theorem proving
Automated theorem proving

by Special Session on Automatic Theorem Proving (1983 Denver, Colo.)

1984 1 ed.
Automatic theorem proving Congresses Mathematics, history
Some results in automatic theorem-proving with applications in elementary set theory and topology
Some results in automatic theorem-proving with applications ...

by Roberto Lins de Carvalho

1974 1 ed.
Automatic theorem proving Set theory Topology
Symbolic logic and mechanical theorem proving
Symbolic logic and mechanical theorem proving

by Chin-Liang Chang

1973 2 ed.
Artificial intelligence Automatic theorem proving Symbolic and mathematical...
Symbolic logic and mechanical theorem proving
Symbolic logic and mechanical theorem proving

by Chin-Liang Chang

1973 2 ed.
Logic, Symbolic and mathe... Symbolic and mathematical... Artificial intelligence
Automated Theorem Proving
Automated Theorem Proving

by Monty Newborn

This book is about how computers prove theorems.

2000 3 ed.
Automatic theorem proving
Mechanical Geometry Theorem Proving
Mechanical Geometry Theorem Proving

by Shang-Ching Chou

1899 3 ed.
Automatic theorem proving
Mechanical geometry theorem proving
Mechanical geometry theorem proving

by Chou, Shang-Ching

1988 1 ed.
Automatic theorem proving Geometry, differential
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving

by Melvin Fitting

1996 2 ed.
Logic design Symbolic and mathematical... Computer science
Automated theorem proving
Automated theorem proving

by W. Bibel

1982 2 ed.
Automatic theorem proving
Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering

by Johann M. Schumann

The amount and complexity of software developed and used has grown tremendously during the past years.

2001 3 ed.
Démonstration automatique Automatisches Beweisverfa... Software engineering
The application of theorem proving to question-answering systems
The application of theorem proving to question-answering sys...

by Claude Cordell Green

1970 2 ed.
Automatic theorem proving Question-answering system...
Automated theorem proving
Automated theorem proving

by Donald W. Loveland

1978 1 ed.
Automatic theorem proving
Automated theorem proving
Automated theorem proving

by Monroe Newborn

2001 1 ed.
Automatic theorem proving Computer science Artificial intelligence
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries

by Wu, Wen-tsün., Went Sun Wu

1994 2 ed.
Automatic theorem proving Data processing Geometry
Theorem Proving with the Real Numbers
Theorem Proving with the Real Numbers

by Harrison, John

2011 2 ed.
Automatic theorem proving
Theorem-proving systems
Theorem-proving systems

by Ewa Orłowska

1973 1 ed.
Automatic theorem proving
Theorem-proving systems
Theorem-proving systems

by Ewa Orlowska

1973 1 ed.
Automatic theorem proving Proof theory