Etalle, Sandro.

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / [electronic resource] : edited by Sandro Etalle, Mirosław Truszczyński. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4079 0302-9743 ; .

9783540366362


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 / E83 2006