Foundations of Information and Knowledge Systems
Link, Sebastian.
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642118296
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).
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642118296
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).