Biblioteca

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

By: Nipkow, Tobias
Contributor(s): Paulson, Lawrence C., Wenzel, Markus
Language: English Publisher: Berlin: Springer 2002Description: 218 pISBN: 3540433767Subject(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 on this title.

to post a comment.