Link, Sebastian.
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings / [electronic resource] : edited by Sebastian Link, Henri Prade. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5956 0302-9743 ; . - Lecture Notes in Computer Science, 5956 .
9783642118296
10.1007/978-3-642-11829-6 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings / [electronic resource] : edited by Sebastian Link, Henri Prade. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5956 0302-9743 ; . - Lecture Notes in Computer Science, 5956 .
9783642118296
10.1007/978-3-642-11829-6 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131