Isabelle/HOL : a proof assistant for higher-order logic /

Bibliographic Details
Main Author:	Nipkow, Tobias, 1958-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Paulson, Lawrence C., Wenzel, Markus
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2283.
Subjects:	Computer logic. Automatic theorem proving. Logique informatique. Théorèmes > Démonstration automatique. Logica. Logische Programmiersprache. Isabelle <Programm>. Electronic books.
Online Access:	Connect to the full text of this electronic book http://link.springer-ny.com/link/service/series/0558/tocs/t2283.htm

Remote Storage