A human oriented logic for automatic theorem proving

A human oriented logic for automatic theorem proving

Bibliographic Details
Main Author:	Nevins, Arthur J
Format:	Book
Language:	English
Published:	[Cambridge] M.I.T. A.I. Laboratory, 1972
Series:	AI memo ; 268
Subjects:	Automatic theorem proving

Similar Items

A relaxation approach to splitting in an automatic theorem prover
by: Nevins, Arthur J
Published: (1974)

A proposal for a geometry theorem proving program /
by: Hart, Tim
Published: (1963)

Plane geometry theorem proving using forward chaining
by: Nevins, Arthur J
Published: (1974)

Computer proofs of limit theorems /
Published: (1971)

Un programme de démonstration de théorèmes
by: Pitrat, J (Jacques), et al.
Published: (1970)

A model-driven geometry theorem prover /
by: Ullman, Shimon
Published: (1975)

Planner : a language for proving theorems /
by: Hewitt, Carl
Published: (1967)

Elementary geometry theorem proving
by: Goldstein, Ira P (Ira Philip)
Published: (1973)

Planner : a language for manipulating models and proving theorems in a robot /
by: Hewitt, Carl
Published: (1970)

Planner : a language for manipulating models and proving theorems in a robot /
by: Hewitt, Carl
Published: (1969)

Theorem proving in higher order logics /
Published: (2002)

Automated theorem proving : a logical basis /
by: Loveland, Donald W, et al.
Published: (1978)

Theorem-proving systems /
by: Ortowska, Ewa
Published: (1973)

Automated theorem proving /
by: Bibel, W., 1938-
Published: (1987)

Automated theorem proving /
by: Bibel, W., 1938-
Published: (1982)

Theorem proving with the real numbers /
by: Harrison, J (John), 1966-, et al.
Published: (1998)

The application of theorem proving to question-answering systems
by: Green, Claude Cordell
Published: (1970)

Automated theorem proving : theory and practice /
by: Newborn, Monroe, et al.
Published: (2001)

The proofchecker /
by: Abrahams, Paul
Published: (1961)

Commenting proofs /
by: Geiser, James Robert
Published: (1974)

Primitive recursion /
by: Levin, Michael
Published: (1963)

Principles of automated theorem proving /
by: Duffy, David A
Published: (1991)

Mechanical geometry theorem proving /
by: Chou, Shang-Ching, 1942-, et al.
Published: (1988)

The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
by: Plaisted, David A
Published: (1999)

The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
by: Plaisted, David A, et al.
Published: (1999)

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Published: (2005)

Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
Published: (2000)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
Published: (2003)

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
Published: (1999)

Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
Published: (2000)

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

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Published: (2005)

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
Published: (2000)

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Published: (2005)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Published: (2001)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Published: (2001)

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
Published: (2002)

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
Published: (2002)

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

Theorem proving in higher order logics : 16 [i.e. 16th] international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
Published: (2003)