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

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

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Nipkow Tobias (Auteur), Paulson Lawrence C. (Auteur)
Autres auteurs : Wenzel Markus (Auteur)
Format : Livre
Langue : anglais
Titre complet : Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Publié : Berlin, Heidelberg, New York, Paris[etc.] : Springer , C 2002
Description matérielle : 1 vol. (XIII-218 p.)
Collection : Lecture notes in computer science ; 2283
Sujets :
Théorèmes > Démonstration automatique

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C468 Prêt sans prolongation Disponible