Description of the Kananaskis 3 release of the HOL4 theorem proving environment.
Détails
- Date de publication
- Dec 14, 2005
- Langue
- English
- Catégorie
- Médecine & sciences
- Copyright
- Tous droits réservés - Licence de copyright standard
- Contributeurs
- Par (auteur): Lars Johnson
Caractéristiques
- Pages
- 290
- Type de reliure
- Livre à couverture rigide Couverture en lin
- Couleur de l’intérieur
- Noir & Blanc
- Dimensions
- Roman (6 x 9 po / 152 x 229 mm)