TY - DATA AU - Priss,Uta AU - Hill,Richard AU - Polovina,Simon ED - SpringerLink (Online service) TI - Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540736813 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Artificial intelligence KW - Computational complexity KW - Computer Science KW - Computer software KW - Information systems KW - Algorithm Analysis and Problem Complexity KW - Artificial Intelligence (incl. Robotics) KW - Discrete Mathematics in Computer Science KW - Information Systems Applications (incl.Internet) KW - Mathematical Logic and Formal Languages UR - http://dx.doi.org/10.1007/978-3-540-73681-3 ER -