Gabbrielli, Maurizio.
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / [electronic resource] : edited by Maurizio Gabbrielli, Gopal Gupta. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3668 0302-9743 ; . - Lecture Notes in Computer Science, 3668 .
9783540319474
10.1007/11562931 doi
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.6-76.66
005.11
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / [electronic resource] : edited by Maurizio Gabbrielli, Gopal Gupta. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3668 0302-9743 ; . - Lecture Notes in Computer Science, 3668 .
9783540319474
10.1007/11562931 doi
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.6-76.66
005.11