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

Nipkow, Tobias

Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. - Berlin : Springer, 2002. - xiii, 218 p. : il. ; 24 cm. - Lecture Notes in Computer Science, LNCS ; v. 2283 v. 2283 0302-9743 ; .

3540433767


Computer Logic.
Automatic theorem proving.
Mathematical logic.
Deducton and theorem proving.
Formal definitions and theory.
Specifying and verifying and reasoning about programs.


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)