Cover Image

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings /

Bibliographic Details
Corporate Author:	TPHOLs Canberra, A.C.T.
Other Authors:	Grundy, J. (Jim), 1968-, Newey, Malcolm Charles
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1479.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving. Logic, Symbolic and mathematical. Conference papers and proceedings.

Similar Items

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

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

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

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

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

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

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

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

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

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

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

PX, a computational logic /
by: Hayashi, Susumu, 1953-
Published: (1988)

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

Automated model building /
by: Caferra, Ricardo, 1945-, et al.
Published: (2004)

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

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

Handbook of tableau methods /
Published: (1999)

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

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)

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

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)

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

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
Published: (2007)

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

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

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

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

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

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

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

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

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-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings /
Published: (2000)

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

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

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

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

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