Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Dahl, Véronica.
creator
Niemelä, Ilkka.
SpringerLink (Online service)
software, multimedia
xx
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2007
1a. ed.
monographic
eng
v.: digital
edited by Véronica Dahl, Ilkka Niemelä.
Computer science
Logic design
Artificial intelligence
Computer Science
Programming Techniques
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
QA76.63 D34 2007
Lecture Notes in Computer Science, 4670
Springer eBooks
9783540746102
http://dx.doi.org/10.1007/978-3-540-74610-2
http://dx.doi.org/10.1007/978-3-540-74610-2
100301
20210208142100.0