Biblioteca
Normal view MARC view ISBD view

Isabelle/ Hol: a proof assistant for higher-order logic / Tobias Nipkow

By: Nipkow, Tobias.
Contributor(s): Paulson, Lawrence C., Wenzel, Markus.
Publisher: Berlin: Springer 2002Description: 218 p.ISBN: 3540433767.Subject(s): COMPUTER LOGIC | AUTOMATIC THEOREM PROVINGDDC classification: 004.01
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Vol info Copy number Status Date due Barcode Item holds
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
004.01 N464i (Browse shelf) Ej. 1 1 Available 014182
Total holds: 0

Incluye bibliografía e índice p. 209

There are no comments for this item.

Log in to your account to post a comment.