Design & analysis of UNIFIC : a coprocessor for the unification algorithm /

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

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

Diagrammatic representation and reasoning /
Published: (2002)

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

Symbolic computation and automated reasoning : the calculemus-2000 symposium /
Published: (2001)

Metamathematics, machines, and Gödel's proof /
by: Shankar, N. (Natarajan)
Published: (1994)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
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)

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

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

Handbook of automated reasoning /
Published: (2001)

Deduction systems in artificial intelligence /
Published: (1989)

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

Machine proofs in geometry : automated production of readable proofs for geometry theorems /
by: Chou, Shang-Ching, 1946-
Published: (1994)

Mechanical theorem proving in geometries : basic principles /
by: Wu, Wen-tsün
Published: (1994)

VLSI design of the controller for the UNIFIC : Prolog unification coprocessor /
by: Parikh, Pratiksh Vasant, 1964-
Published: (1987)

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)

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

Mathematics mechanization and applications /
Published: (2000)

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

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

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
Published: (2001)

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

Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
Published: (2004)

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

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

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

Automation of reasoning /
Published: (1983)

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

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

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

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

Deduction systems /
by: Socher-Ambrosius, Rolf
Published: (1997)

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

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