Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
edited by Joe Hurd, Tom Melham.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 3603
ISBN: 9783540318200