Automated Reasoning [Risorsa elettronica] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540371885
Collana
Lecture notes in computer science , Lecture notes in artificial intelligence , 0302-9743 ; 4130