Mechanical geometry theorem proving /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht ; Boston :
D. Reidel Pub. Co. ;
[1988]
|
| Series: | Mathematics and its applications (D. Reidel Publishing Company)
|
| Subjects: |
Similar Items
Automated theorem proving : theory and practice /
by: Newborn, Monroe
Published: (2001)
by: Newborn, Monroe
Published: (2001)
Automated theorem proving : a logical basis /
by: Loveland, Donald W.
Published: (1978)
by: Loveland, Donald W.
Published: (1978)
Theorem proving with the real numbers /
by: Harrison, J. (John), 1966-
Published: (1998)
by: Harrison, J. (John), 1966-
Published: (1998)
Principles of automated theorem proving /
by: Duffy, David A.
Published: (1991)
by: Duffy, David A.
Published: (1991)
Mechanical theorem proving in geometries : basic principles /
by: Wu, Wen-tsün
Published: (1994)
by: Wu, Wen-tsün
Published: (1994)
Automated theorem proving : a logical basis /
by: Loveland, Donald W.
Published: (1978)
by: Loveland, Donald W.
Published: (1978)
The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
by: Plaisted, David A.
Published: (1999)
by: Plaisted, David A.
Published: (1999)
Automated theorem proving /
by: Bibel, W., 1938-
Published: (1987)
by: Bibel, W., 1938-
Published: (1987)
Automated theorem proving : after 25 years /
Published: (1984)
Published: (1984)
The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
by: Plaisted, David A.
Published: (1999)
by: Plaisted, David A.
Published: (1999)
Automated theorem proving /
by: Bibel, W., 1938-
Published: (1982)
by: Bibel, W., 1938-
Published: (1982)
Machine proofs in geometry : automated production of readable proofs for geometry theorems /
by: Chou, Shang-Ching, 1946-
Published: (1994)
by: Chou, Shang-Ching, 1946-
Published: (1994)
Automated theorem proving in software engineering /
by: Schumann, Johann M., 1960-
Published: (2001)
by: Schumann, Johann M., 1960-
Published: (2001)
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Published: (2005)
Published: (2005)
Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
Published: (1999)
Published: (1999)
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
Published: (2000)
Published: (2000)
Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings /
Published: (1996)
Published: (1996)
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
Published: (2003)
Published: (2003)
Using sophisticated models in resolution theorem proving /
by: Sandford, David M.
Published: (1980)
by: Sandford, David M.
Published: (1980)
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
Published: (2002)
Published: (2002)
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Published: (2001)
Published: (2001)
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
Published: (2004)
Published: (2004)
First-order logic and automated theorem proving /
by: Fitting, Melvin, 1942-
Published: (1990)
by: Fitting, Melvin, 1942-
Published: (1990)
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)
by: Bertot, Yves
Published: (2004)
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Published: (1994)
Published: (1994)
Automated theorem-proving in non-classical logics /
by: Thistlewaite, Paul B.
Published: (1988)
by: Thistlewaite, Paul B.
Published: (1988)
Theorem proving with the real numbers /
by: Harrison, J. (John), 1966-
Published: (1998)
by: Harrison, J. (John), 1966-
Published: (1998)
Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1973)
by: Chang, Chin-Liang, 1937-
Published: (1973)
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
Published: (2007)
Published: (2007)
Un programme de demonstration de theoremes.
by: Pitrat, Jacques, 1934-
Published: (1970)
by: Pitrat, Jacques, 1934-
Published: (1970)
Automated theorem proving in software engineering /
by: Schumann, Johann M., 1960-
Published: (2001)
by: Schumann, Johann M., 1960-
Published: (2001)
Knowledge based theorem proving and learning /
by: Cohen, Donald N.
Published: (1981)
by: Cohen, Donald N.
Published: (1981)
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
Published: (1995)
Published: (1995)
Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1986)
by: Gallier, Jean H.
Published: (1986)
Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings /
Published: (2011)
Published: (2011)
A proof theory for general unification /
by: Snyder, Wayne, 1955-
Published: (1991)
by: Snyder, Wayne, 1955-
Published: (1991)