Automated Reasoning with Analytic Tableaux and Related Methods [Risorsa elettronica] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540318224
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3702