Cover Image

Journal of automated reasoning.

Bibliographic Details
Uniform Title:	Journal of automated reasoning (Online)
Format:	Journal
Language:	English
Published:	[Dordrecht] : Kluwer Academic Publishers.
Subjects:	Automatic theorem proving > Periodicals. Artificial intelligence > Periodicals. Logic programming > Periodicals. Théorèmes > Démonstration automatique > Périodiques. Intelligence artificielle > Périodiques. Programmation logique > Périodiques.
Online Availability:

Similar Items

Handbook of automated reasoning /
Published: (2001)

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

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
Published: (1994)

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
Published: (1980)

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /
Published: (2002)

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

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

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

Automated reasoning : essays in honor of Woody Bledsoe /
Published: (1991)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Automated reasoning : introduction and applications /
Published: (1984)

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

The automation of reasoning with incomplete information : from semantic foundations to efficient computation /
by: Schaub, Torsten
Published: (1997)

Analogy of automated reasoning /
by: Owen, Stephen (Stephen G.)
Published: (1990)

Automated deduction in classical and non-classical logics : selected papers /
Published: (2000)

Automated development of fundamental mathematical theories /
by: Quaife, Art
Published: (1992)

Theory reasoning in connection calculi /
by: Baumgartner, Peter, 1962-
Published: (1998)

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 /
Published: (1992)

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Published: (2001)

Automated Reasoning : Essays in Honor of Woody Bledsoe /
by: Boyer, Robert S.
Published: (1991)

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

A many-sorted calculus based on resolution and paramodulation /
by: Walther, Christoph
Published: (1987)

Isabelle/HOL : a proof assistant for higher-order logic /
by: Nipkow, Tobias, 1958-
Published: (2002)

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
Published: (1999)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
Published: (2002)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Published: (2006)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Published: (2005)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
Published: (1998)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings /
Published: (2005)

Deduction systems in artificial intelligence /
Published: (1989)

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

Gems of theoretical computer science /
by: Schöning, Uwe, 1955-
Published: (1998)

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

The collected works of Larry Wos /
by: Wos, Larry
Published: (2000)

A many-sorted calculus based on resolution and paramodulation /
by: Walther, Christoph
Published: (1987)

Isabelle : a generic theorem prover /
by: Paulson, Lawrence C.
Published: (1994)

The journal of logic and algebraic programming.
Published: (2001)

Instantiation theory : on the foundations of automated deduction /
by: Williams, James G.
Published: (1991)

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