Deduktionssysteme : Automatisierung des logischen Denkens
München [u.a.]: Oldenbourg 1987 0 S.
Erscheinungsjahr: 1987
ISBN/ISSN: 3486205099
Publikationstyp: Buch
Sprache: Deutsch
Geprüft | Bibliothek |
München [u.a.]: Oldenbourg 1987 0 S.
Erscheinungsjahr: 1987
ISBN/ISSN: 3486205099
Publikationstyp: Buch
Sprache: Deutsch
Geprüft | Bibliothek |