Foundations of Information and Knowledge Systems
Subtitle: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
By: edited by Thomas Lukasiewicz, Attila Sali
Contributors: Sali, Attila; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7153
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642284724
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Computer software; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematics of Computing; Artificial intelligence; Computer science