Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Hermann, Miki.
creator
Voronkov, Andrei.
SpringerLink (Online service)
software, multimedia
xx
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2006
1a ed.
monographic
eng
v.: digital
edited by Miki Hermann, Andrei Voronkov.
Computer science
Software engineering
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Programming Techniques
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
QA76.63 H47 2006
Lecture Notes in Computer Science, 4246
Springer eBooks
9783540482826
http://dx.doi.org/10.1007/11916277
http://dx.doi.org/10.1007/11916277
100301
20210208141155.0