Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540755609
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4790