Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Kenneth L McMillan; Aart Middeldorp; Andrei Voronkov

doi:10.1007/978-3-642-45221-5

Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Kenneth L McMillan (Editor), Aart Middeldorp (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	8312
ISBN (Print)	978-3-642-45220-8
DOIs	https://doi.org/10.1007/978-3-642-45221-5
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-642-45221-5

Cite this

McMillan, K. L., Middeldorp, A., & Voronkov, A. (Eds.) (2013). Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. In Lecture Notes in Computer Science (Vol. 8312). (Lecture Notes in Computer Science). Springer Nature. https://doi.org/10.1007/978-3-642-45221-5

@inproceedings{8da1c7edd91c44d98747e485d5404d61,

title = "Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings",

author = "McMillan, {Kenneth L} and Aart Middeldorp and Andrei Voronkov",

year = "2013",

doi = "10.1007/978-3-642-45221-5",

language = "English",

isbn = "978-3-642-45220-8",

volume = "8312",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

}

Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. / McMillan, Kenneth L (Editor); Middeldorp, Aart (Editor); Voronkov, Andrei (Editor).
Lecture Notes in Computer Science. Vol. 8312 Springer Nature, 2013. (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

A2 - McMillan, Kenneth L

A2 - Middeldorp, Aart

A2 - Voronkov, Andrei

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-45221-5

DO - 10.1007/978-3-642-45221-5

M3 - Conference contribution

SN - 978-3-642-45220-8

VL - 8312

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

ER -