Cooperation in Heterogeneous Theorem Prover Networks
- Autor/en:
- D. Fuchs
- Umfang:
- 278
- EAN/ISBN:
- 978-3-89838-231-1
- Band:
- 231
- 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!