Cover Image

Automated reasoning : introduction and applications /

Bibliographic Details
Other Authors:	Wos, Larry
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice-Hall, [1984]
Subjects:	Automatic theorem proving. Artificial intelligence. Computer programming.

Similar Items

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

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

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)

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

Handbook of automated reasoning /
Published: (2001)

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

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

Automation of reasoning /
Published: (1983)

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)

Journal of automated reasoning.

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 : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

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)

Handbook of automated reasoning /
Published: (2001)

Diagrammatic reasoning : cognitive and computational perspectives /
Published: (1995)

Diagrammatic representation and reasoning /
Published: (2002)

Mathematics mechanization and applications /
Published: (2000)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
Published: (2001)

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
Published: (2004)

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

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
Published: (1992)

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

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

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
Published: (2000)

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
Published: (1993)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /
Published: (2003)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
Published: (2002)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
Published: (2000)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings /
Published: (2007)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings /
Published: (1999)

Deduction systems in artificial intelligence /
Published: (1989)

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

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)

Automated theorem proving : after 25 years /
Published: (1984)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
Published: (2001)

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

A fascinating country in the world of computing : your guide to automated reasoning /
by: Wos, Larry
Published: (1999)

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /
Published: (2006)