Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
By: edited by Nikolaj Bjørner, Andrei Voronkov
Contributors: Voronkov, A. (Andreĭ), 1959-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7180
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642287176
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Artificial intelligence; Artificial Intelligence (incl. Robotics)