Abstraction, reformulation and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedingsSARA 2005Zucker, Jean-DanielSaitta, LorenzaEnglishBook2005Berlin : Springer, 2005.Artificial intelligence—CongressesComputer science—CongressesBook9783540278726