Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / [electronic resource] :
edited by Wilfrid Hodges, Ruy Queiroz.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5110 0302-9743 ; .
9783540699378
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