Gao, Yuan.
Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / [electronic resource] : edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6224 0302-9743 ; . - Lecture Notes in Computer Science, 6224 .
9783642144554
10.1007/978-3-642-14455-4 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
QA76.9.A43
005.1
Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / [electronic resource] : edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6224 0302-9743 ; . - Lecture Notes in Computer Science, 6224 .
9783642144554
10.1007/978-3-642-14455-4 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
QA76.9.A43
005.1