-
Bib ID# 38587
ISBN: 9783642033599
UPC: 10.1007/978-3-642-03359-9
Title: Theorem Proving in Higher Order Logics22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
Author: Berghofer, Stefan.
Publication Info:
Item Type: Language material