Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540482826
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4246