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

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

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
Description
Bibliographie : Bibliogr. p. [209]-211. Index
ISBN : 3-540-43376-7