cl-banner

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan, Aart Middeldorp, and Andrei Voronkov (eds.)

Proceedings of the 19th International Conference, Stellenbosch, South Africa, Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 8312, 2013.

 

   doi:10.3233/FAIA200244  |  ©  Springer

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"
}
Nach oben scrollen