Isabelle/HOL : a proof assistant for higher-order logic
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2283 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Isabelle/HOL, a proof assistant for higher-order logic, Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002, Berlin, Springer, 1 vol. (XIII-218 p.), Lecture notes in computer science, 3-540-43376-7 • Isabelle/HOL, Texte imprimé, 9783662182291 |