Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings - Mycroft, Alan.; Zeller, Andreas; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Software engineering; Logic design; Artificial intelligence; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Artificial Intelligence (incl. Robotics)