Dahl, Véronica.
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / [electronic resource] :
edited by Véronica Dahl, Ilkka Niemelä.
- 1a. ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4670 0302-9743 ; .
9783540746102
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