Berghofer, Stefan books & textbook
Modeling and Retrieval of Context: Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3946)
Roth-Berghofer, Thomas R. Schulz, Stefan Leake, David B.
Springer /2006-04-18 Paperback / 164 Pages
isbn-10: 3540335870 / isbn-13: 9783540335870
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Berghofer, Stefan Nipkow, Tobias Urban, Christian Wenzel, Makarius
Springer /2009-08-04 Paperback / 528 Pages
isbn-10: 364203358X / isbn-13: 9783642033582
