Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Cervesato, Iliano.
creator
Veith, Helmut.
Voronkov, Andrei.
SpringerLink (Online service)
software, multimedia
xx
Berlin, Heidelberg
Springer Berlin Heidelberg
2008
1a ed.
monographic
eng
v.: digital
edited by Iliano Cervesato, Helmut Veith, 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 C47 2008
Lecture Notes in Computer Science, 5330
Springer eBooks
9783540894391
http://dx.doi.org/10.1007/978-3-540-89439-1
http://dx.doi.org/10.1007/978-3-540-89439-1
100301
20210208141603.0