Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings - Zucker, Jean-Daniel.; Saitta, Lorenza; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Logic design; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs; Mathematical Logic and Formal Languages