Hochschulschrift
Algorithms for constraints in deduction and knowledge representation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XVI, 193 S.
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 1994
- Keyword
-
Wissensrepräsentationssprache
Constraint
Unifikationstheorie
Deduktionssystem
Constraint
Unifikationstheorie
- Creator
-
Nutt-Wahlmann, Werner
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:41 AM CET
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Nutt-Wahlmann, Werner