Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540322757
Collana
Lecture notes in computer science , Lecture notes in artificial intelligence , 0302-9743 ; 3452