Sutcliffe, Geoff.
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / [electronic resource] : edited by Geoff Sutcliffe, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3835 0302-9743 ; . - Lecture Notes in Computer Science, 3835 .
9783540316503
10.1007/11591191 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 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / [electronic resource] : edited by Geoff Sutcliffe, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3835 0302-9743 ; . - Lecture Notes in Computer Science, 3835 .
9783540316503
10.1007/11591191 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