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
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Nutt-Wahlmann, Werner
Other Objects (12)
Constraints and modalities in terminological knowledge representation systems
Complexity results and practical algorithms for logics in knowledge representation
Complexity results and practical algorithms for logics in knowledge representation
HieraCon : a knowledge representation system with typed hierarchies and constraints
Propositional logic : deduction and algorithms
Knowledge and representation
Metamodel-based knowledge representation
Knowledge Representation with MESNET
Representation of spatial knowledge
Case-Based Knowledge Representation
Biproportional apportionment methods : constraints, algorithms, and simulation
Adaptive Algorithms in Optimization under PDE Constraints
Constraints and modalities in terminological knowledge representation systems
Complexity results and practical algorithms for logics in knowledge representation
Complexity results and practical algorithms for logics in knowledge representation
HieraCon : a knowledge representation system with typed hierarchies and constraints
Propositional logic : deduction and algorithms
Knowledge and representation
Metamodel-based knowledge representation
Knowledge Representation with MESNET
Representation of spatial knowledge
Case-Based Knowledge Representation
Biproportional apportionment methods : constraints, algorithms, and simulation
Adaptive Algorithms in Optimization under PDE Constraints
Constraints and modalities in terminological knowledge representation systems
Complexity results and practical algorithms for logics in knowledge representation
Complexity results and practical algorithms for logics in knowledge representation
HieraCon : a knowledge representation system with typed hierarchies and constraints
Propositional logic : deduction and algorithms
Knowledge and representation
Metamodel-based knowledge representation
Knowledge Representation with MESNET
Representation of spatial knowledge
Case-Based Knowledge Representation
Biproportional apportionment methods : constraints, algorithms, and simulation