Human Oriented Proof Presentation
A Reconstructive Approach
- Autor/en:
- X. Huang
- Umfang:
- 182
- EAN/ISBN:
- 978-3-89838-112-3
- Band:
- 112
- Buchreihe:
- Dissertationen zur Künstlichen Intelligenz
- Kategorien:
- Buch
- Informatik
- Künstliche Intelligenz
- Dissertationen zur Künstlichen Intelligenz
- Englisch
- Gesamtverzeichnis AKA Verlag
Ausgabe:
softcover
Preis:
25,00 €
inkl. 7% MwSt.
Keine Buchbeschreibung vorhanden!