Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings - Hodges, Wilfrid; Queiroz, Ruy.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Information theory; Computer software; Electronic data processing; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Mathematics of Computing; Computing Methodologies