Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /

por LPAR (Conference) (11th : 2005 : Montevideo, Uruguay)., Baader, Franz von, Voronkov, A.