Proceedings of the 19th International Conference, Stellenbosch, South Africa
Ken McMillan, Aart Middeldorp, and Andrei Voronkov (eds.)
Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 8312, 2013
BibTeX
@proceedings{LPAR-19, editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov", title = "Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning", series = "Lecture Notes in Computer Science (Advanced Research in Computing and Software Science)", volume = 8312, publisher = "Springer-Verlag", year = 2013, doi = "10.1007/978-3-642-45221-5" }
Font Matter doi:10.1007/978-3-642-45221-5
© Springer