Relevancy-Based Use of Lemmas in Connection Tableau Calculi

- Autor/en:
- M. Fuchs
- Umfang:
- 271
- EAN/ISBN:
- 978-3-89838-227-4
- Band:
- 227
- 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!