Isabelle: a generic theorem prover
Auteur :
Paulson, Lawrence C.
Éditeur :
Paulson, Lawrence C.
ISBN :
9783540582441
Date de publication :
28 juil. 1994
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
494 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.