TY - BOOK AU - Lukasiewicz,Thomas AU - Sali,Attila TI - Foundations of Information and Knowledge Systems: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings SN - 9783642284724 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Algorithms KW - Computer logic KW - Mathematical logic KW - Mathematics KW - Artificial intelligence UR - http://dx.doi.org/10.1007/978-3-642-28472-4 ER -