Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings - Miguel, Ian.; Ruml, Wheeler; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Logic design; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs