Calude, Cristian S.
Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / [electronic resource] : edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6079 0302-9743 ; . - Lecture Notes in Computer Science, 6079 .
9783642135231
10.1007/978-3-642-13523-1 doi
Computer science.
Computer software.
Logic design.
Artificial intelligence.
Bioinformatics.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Computational Biology/Bioinformatics.
QA75.5-76.95
004.0151
Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / [electronic resource] : edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6079 0302-9743 ; . - Lecture Notes in Computer Science, 6079 .
9783642135231
10.1007/978-3-642-13523-1 doi
Computer science.
Computer software.
Logic design.
Artificial intelligence.
Bioinformatics.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Computational Biology/Bioinformatics.
QA75.5-76.95
004.0151