7418502
9783642033582
Berghofer, Stefan is the author of 'Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)', published 2009 under ISBN 9783642033582 and ISBN 364203358X.
[read more]