Archibald, Margaret.
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / [electronic resource] : edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5489 0302-9743 ; . - Lecture Notes in Computer Science, 5489 .
9783642030925
10.1007/978-3-642-03092-5 doi
Computer science.
Information theory.
Computer software.
Electronic data processing.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Computing Methodologies.
Q334-342 TJ210.2-211.495
006.3
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / [electronic resource] : edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5489 0302-9743 ; . - Lecture Notes in Computer Science, 5489 .
9783642030925
10.1007/978-3-642-03092-5 doi
Computer science.
Information theory.
Computer software.
Electronic data processing.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Computing Methodologies.
Q334-342 TJ210.2-211.495
006.3