Theorem Proving in Higher Order Logics [Risorsa elettronica] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540318200
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3603