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

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xii, 395 pages) : illustrations
Bibliography:	Includes bibliographical references.
ISBN:	3540664920 9783540664925