Cover Image

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

Bibliographic Details
Corporate Authors:	LPAR (Conference) Tʻbilisi, Georgia), SpringerLink (Online service)
Other Authors:	Ganzinger, H. (Harald), 1950-, McAllester, David A., Voronkov, Andrei, 1959-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1705. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Automatic theorem proving > Congresses. Programmation logique > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Logic programming. Automatische bewijsvoering. Logisch programmeren. Automatisches Beweisverfahren. Kongress. Logische Programmierung. Programmierlogik. Electronic books. Tiflis (1999) Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

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

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

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
Published: (2001)

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

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

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /
Published: (1998)

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

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

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

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

Automated deduction in equational logic and cubic curves /
by: McCune, W. (William)
Published: (1996)

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

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

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

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

Automated theorem proving in software engineering /
by: Schumann, Johann M., 1960-
Published: (2001)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
Published: (1996)

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

The resolution calculus /
by: Leitsch, Alexander, 1952-
Published: (1997)

Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.
Published: (1998)

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

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

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

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

Termination proofs for logic programs /
by: Plümer, Lutz
Published: (1990)

Term indexing /
by: Graf, Peter, 1966-
Published: (1995)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
Published: (1997)

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
Published: (2004)

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /
Published: (1995)

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

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

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Mathematics mechanization and applications /
Published: (2000)

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

A proof theory for general unification /
by: Snyder, Wayne, 1955-
Published: (1991)

The Logic programming paradigm : a 25-year perspective /
Published: (1999)

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

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers /
Published: (1995)

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

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)