Cover Image

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

Bibliographic Details
Corporate Authors:	Conference on Automated Deduction New York, N.Y., SpringerLink (Online service)
Other Authors:	Loveland, Donald W.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 138.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. démonstration théorème. démonstration automatique. Automatic theorem proving. Logic, Symbolic and mathematical. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
Published: (1998)

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-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
Published: (1999)

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

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

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

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

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

Automated deduction in multiple-valued logics /
by: Hähnle, Reiner
Published: (1993)

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
Published: (1998)

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

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Published: (2001)

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

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

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

Handbook of tableau methods /
Published: (1999)

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

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

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings /
Published: (1993)

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

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

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