Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Christian G Fermüller; Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Christian G Fermüller (Editor), Andrei Voronkov (Editor)

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

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	6397
ISBN (Print)	978-3-642-16241-1
Publication status	Published - 2010
Event	LPAR (Yogyakarta) - Duration: 1 Jan 1824 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	LPAR (Yogyakarta)
Period	1/01/24 → …

Cite this

@inproceedings{8a7939872dc4426badb5382f3b324ca3,

title = "Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings",

author = "Ferm{\"u}ller, {Christian G} and Andrei Voronkov",

year = "2010",

language = "English",

isbn = "978-3-642-16241-1",

volume = "6397",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

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

}

Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. / Fermüller, Christian G (Editor); Voronkov, Andrei (Editor).
Lecture Notes in Computer Science. Vol. 6397 Springer Nature, 2010. (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

A2 - Fermüller, Christian G

A2 - Voronkov, Andrei

PY - 2010

Y1 - 2010

M3 - Conference contribution

SN - 978-3-642-16241-1

VL - 6397

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

T2 - LPAR (Yogyakarta)

Y2 - 1 January 1824

ER -