Giesl, Jürgen.
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / [electronic resource] : edited by Jürgen Giesl, Reiner Hähnle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6173 0302-9743 ; . - Lecture Notes in Computer Science, 6173 .
9783642142031
10.1007/978-3-642-14203-1 doi
Computer science.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic Design.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Q334-342 TJ210.2-211.495
006.3
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / [electronic resource] : edited by Jürgen Giesl, Reiner Hähnle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6173 0302-9743 ; . - Lecture Notes in Computer Science, 6173 .
9783642142031
10.1007/978-3-642-14203-1 doi
Computer science.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic Design.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Q334-342 TJ210.2-211.495
006.3