Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings /

Bibliographic Details
Corporate Authors:	ITP (Conference) Berg en Dal, Netherlands), SpringerLink (Online service)
Other Authors:	Eekelen, M. C. J. D. van
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6898.
Subjects:	Automatic theorem proving > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online