Theorem proving in higher order logics /

Subjects:

Theorem proving with analytic tableaux and related methods /

Subjects:

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /

Subjects:

Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

Subjects:

Computer-aided reasoning : ACL2 case studies /

Subjects: “…Deduction and theorem proving.…”

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /

Subjects:

Computer-aided reasoning : an approach /

Subjects: “…Deduction and theorem proving.…”

Handbook of logic in artificial intelligence and logic programming /

Subjects:

Non-monotonic extensions of logic programming /

Subjects:

Automated deduction in equational logic and cubic curves / by McCune, William, 1953-

Subjects:

Term indexing / by Graf, Peter, 1966-

Subjects:

Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

Subjects:

Algorithmic learning theory /

Subjects:

Conditional term rewriting systems /

Subjects:

Algebraic and logic programming /

Subjects:

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

Subjects:

Extensions of logic programming /

Subjects:

Types for proofs and programs /

Subjects:

Logic in databases /

Subjects:

Reasoning with uncertainty in robotics /

Subjects: