Cover Image

PX, a computational logic /

Bibliographic Details
Main Author:	Hayashi, Susumu, 1953-
Other Authors:	Nakano, Hiroshi
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1988]
Series:	Foundations of computing.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.

Similar Items

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1986)

A computational logic /
by: Boyer, Robert S., et al.
Published: (1979)

First-order logic and automated theorem proving /
by: Fitting, Melvin, 1942-
Published: (1990)

Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
Published: (1990)

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /
Published: (1997)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings /
Published: (1993)

Automated deduction in multiple-valued logics /
by: Hähnle, Reiner
Published: (1993)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

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

Handbook of tableau methods /
Published: (1999)

Autologic /
by: Tennant, Neil, 1950-
Published: (1992)

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /
Published: (1997)

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
Published: (1995)

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1973)

Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.
Published: (1998)

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
Published: (1988)

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

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
Published: (1998)

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
Published: (1984)

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings /
Published: (1994)

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

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
Published: (1986)

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July, 1990 /
Published: (1990)

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
Published: (1992)

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
Published: (2002)

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
Published: (2007)

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
Published: (1999)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings /
Published: (2000)

Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
Published: (2003)

Automated theorem-proving in non-classical logics /
by: Thistlewaite, Paul B.
Published: (1988)

A computational logic /
by: Boyer, Robert S.
Published: (1979)

From logic design to logic programming : theorem proving techniques and P-functions /
by: Snyers, Dominique, 1959-
Published: (1987)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
Published: (2000)

Computational logic : logic programming and beyond /
Published: (2002)

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
Published: (1984)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
Published: (1995)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
Published: (2005)

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
Published: (1982)

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
Published: (2002)