Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Bibliographic Details
Corporate Authors:	ITP (Conference) Edinburgh, Scotland), SpringerLink (Online service)
Other Authors:	Kaufmann, Matt, Paulsen, Lawrence C.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; Heidelberg : Springer-Verlag, [2010]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6172.
Subjects:	Automatic theorem proving > Congresses. Computer logic > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online