Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Harald Ganzinger; David A McAllester; Andrei Voronkov

Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Harald Ganzinger (Editor), David A McAllester (Editor), Andrei Voronkov (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	1705
ISBN (Print)	3-540-66492-0
Publication status	Published - 1999
Event	LPAR - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/lpar/lpar2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	LPAR
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/lpar/lpar2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006

Access to Document

Cite this

@inproceedings{1f1bce5f5358420da36be449943cf815,

title = "Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings",

author = "Harald Ganzinger and McAllester, {David A} and Andrei Voronkov",

year = "1999",

language = "English",

isbn = "3-540-66492-0",

volume = "1705",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

note = "LPAR ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/lpar/lpar2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006",

}

Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings. / Ganzinger, Harald (Editor); McAllester, David A (Editor); Voronkov, Andrei (Editor).
Lecture Notes in Computer Science. Vol. 1705 Springer Nature, 1999. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

A2 - Ganzinger, Harald

A2 - McAllester, David A

A2 - Voronkov, Andrei

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 3-540-66492-0

VL - 1705

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

T2 - LPAR

Y2 - 1 January 1824

ER -