Hill, Patricia M.
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / [electronic resource] : edited by Patricia M. Hill, David S. Warren. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5649 0302-9743 ; . - Lecture Notes in Computer Science, 5649 .
9783642028465
10.1007/978-3-642-02846-5 doi
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
QA76.9.M35
004.0151
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / [electronic resource] : edited by Patricia M. Hill, David S. Warren. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5649 0302-9743 ; . - Lecture Notes in Computer Science, 5649 .
9783642028465
10.1007/978-3-642-02846-5 doi
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
QA76.9.M35
004.0151