Logic for Programming, Artificial Intelligence, and Reasoning [E-Book]: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.
Bjørner, Nikolaj.
Voronkov, Andrei.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642287176
10.1007/978-3-642-28717-6
Lecture notes in computer science ; 7180
Full Text
Description not available.