Description of the Kananaskis 3 release of the HOL4 theorem proving environment.
Details
- Veröffentlicht am
- Dec 14, 2005
- Sprache
- English
- Kategorie
- Medizin & Wissenschaft
- Copyright
- Alle Rechte vorbehalten - Standard-Urheberrechtslizenz
- Autoren/Mitwirkende
- Von (Autor): Lars Johnson
Spezifikationen
- Seiten
- 290
- Bindung
- Hardcover Leineneinband
- Farbe für den Innenteil des Buches
- schwarz & weiß
- Abmessungen
- US Trade (6 x 9 Zoll / 152 x 229 mm)