Theorem proving in higher order logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /

od TPHOLs 2005, Hurd, Joe., Melham, T. F.
Izdano 2005.