Description of the Kananaskis 3 release of the HOL4 theorem proving environment.
Detalles
- Fecha de publicación
- Dec 14, 2005
- Idioma
- English
- Categoría
- Ciencia y medicina
- Copyright
- Todos los derechos reservados - Licencia estándar de copyright
- Contribuyentes
- Por (autor o autora): Lars Johnson
Especificaciones
- Páginas
- 290
- Tipo de encuadernación
- Tapa dura Envoltura de lino
- Color de interior
- Blanco y negro
- Dimensiones
- Comercial EE.UU. (6 x 9 in / 152 x 229 mm)