KI 2005: advances in artificial intelligence : 28th annual german conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Automated reasoning : 3rd international joint conference, IJCAR 2006, Seattle, Wa, USA, August 17-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line