Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17 - 20, 2009 /

Bibliographic Details
Corporate Author:	TPHOLs Munich, Germany
Other Authors:	Berghofer, Stefan
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, [2009]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5674.
Subjects:	Automatic theorem proving > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online