A Tactic-Based Inductive Theorem Prover for Data Types with Partial Operations
- Autor/en:
- U. Kühler
- Umfang:
- 275
- EAN/ISBN:
- 978-3-89838-238-0
- Band:
- 238
- Buchreihe:
- Dissertationen zur Künstlichen Intelligenz
- Kategorien:
- Buch
- Informatik
- Künstliche Intelligenz
- Dissertationen zur Künstlichen Intelligenz
- Englisch
- Gesamtverzeichnis AKA Verlag
Ausgabe:
softcover
Preis:
33,00 €
inkl. 7% MwSt.
Keine Buchbeschreibung vorhanden!