Description of the Kananaskis 3 release of the HOL4 theorem proving environment.
Details
- Publication Date
- Dec 14, 2005
- Language
- English
- Category
- Science & Medicine
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Lars Johnson
Specifications
- Pages
- 290
- Binding Type
- Hardcover Linen Wrap
- Interior Color
- Black & White
- Dimensions
- US Trade (6 x 9 in / 152 x 229 mm)