Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers - Aloni, Maria; Bastiaanse, Harald; Jager, Tikitu; Schulz, Katrin; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Software engineering; Logic design; Algebra -- Data processing; Artificial intelligence; Information systems; Computer Science; Symbolic and Algebraic Manipulation; Computer Appl. in Arts and Humanities; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs; Software Engineering