TY - DATA AU - Hodges,Wilfrid AU - Queiroz,Ruy ED - SpringerLink (Online service) TI - Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings SN - 9783540699378 AV - QA9.A1 H63 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Information theory KW - Computer software KW - Electronic data processing KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Theory of Computation KW - Algorithm Analysis and Problem Complexity KW - Mathematical Logic and Formal Languages KW - Mathematics of Computing KW - Computing Methodologies UR - http://dx.doi.org/10.1007/978-3-540-69937-8 ER -