Hermann, Miki.
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / [electronic resource] : edited by Miki Hermann, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4246 0302-9743 ; . - Lecture Notes in Computer Science, 4246 .
9783540482826
10.1007/11916277 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Q334-342 TJ210.2-211.495
006.3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / [electronic resource] : edited by Miki Hermann, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4246 0302-9743 ; . - Lecture Notes in Computer Science, 4246 .
9783540482826
10.1007/11916277 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Q334-342 TJ210.2-211.495
006.3