Computer Science Logic
Dawar, Anuj.
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / [electronic resource] : edited by Anuj Dawar, Helmut Veith. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - Lecture Notes in Computer Science, 6247 0302-9743 ; . - Lecture Notes in Computer Science, 6247 .
9783642152054
10.1007/978-3-642-15205-4 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / [electronic resource] : edited by Anuj Dawar, Helmut Veith. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - Lecture Notes in Computer Science, 6247 0302-9743 ; . - Lecture Notes in Computer Science, 6247 .
9783642152054
10.1007/978-3-642-15205-4 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.