Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2009
Page: 517
ISBN: 364203358X,9783642033582
File Type: pdf
File Size: 4.7 MiB

Just click on START button on Telegram Bot