Current topics in artificial intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009: selected papers / ed. P. Meseguer [et al.], 2010 r=on-line. - Текст : электронный.