Clarke, Edmund M.
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / [electronic resource] : edited by Edmund M. Clarke, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6355 0302-9743 ; . - Lecture Notes in Computer Science, 6355 .
9783642175114
10.1007/978-3-642-17511-4 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.
Programming Languages, Compilers, Interpreters.
Q334-342 TJ210.2-211.495
006.3
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / [electronic resource] : edited by Edmund M. Clarke, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6355 0302-9743 ; . - Lecture Notes in Computer Science, 6355 .
9783642175114
10.1007/978-3-642-17511-4 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.
Programming Languages, Compilers, Interpreters.
Q334-342 TJ210.2-211.495
006.3