Lineare Vervollständigung für die Behandlung von Horntheorien: Research Report AIDA-94-02
DFG-Colloquium ``Deduction´´. 1994
Erscheinungsjahr: 1994
Publikationstyp: Diverses
Sprache: Deutsch
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
