biblioteche, bologna, libri, cd, dvd, prestito, consultazione, autori, editori, lettura, internet biblioteca, wifi in biblioteca, biblioteche Bologna, Sala Borsa, comune bologna,comune imola, provincia bologna,regione emilia romagna

ItaEng
Advanced search

Type here to search the Bologna Library System Catalogue

New ways to access your Personal Area are available: click on the "My library account" button to check the options available

Isabelle

Nipkow, Tobias <1958- >

2002

  • Find it at
  • Details
  • Unimarc
Testo a stampa (moderno)
Monografia
BID RMS0153517
Description *Isabelle / HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Berlin : Springer, c2002
XIII, 218 p. ; ill. ; 23 cm
Note Nella pref.: Higher-Order Logic (HOL)
ISBN 9783540433767
3540433767
OCLC 1277421530
Series Lecture notes in computer science , 2283
Author
Nipkow, Tobias <1958- >
Coauthor
Paulson, Lawrence P.
Wenzel, Markus
Publication year 2002