Duparc, Jacques.
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / [electronic resource] : edited by Jacques Duparc, Thomas A. Henzinger. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4646 0302-9743 ; . - Lecture Notes in Computer Science, 4646 .
9783540749158
10.1007/978-3-540-74915-8 doi
Computer science.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / [electronic resource] : edited by Jacques Duparc, Thomas A. Henzinger. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4646 0302-9743 ; . - Lecture Notes in Computer Science, 4646 .
9783540749158
10.1007/978-3-540-74915-8 doi
Computer science.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131