Theorem Proving in Higher Order Logics [Risorsa elettronica] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642033599
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5674