Hochschulschrift
Algorithms for constraints in deduction and knowledge representation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XVI, 193 S.
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 1994
- Schlagwort
-
Wissensrepräsentationssprache
Constraint
Unifikationstheorie
Deduktionssystem
Constraint
Unifikationstheorie
- Urheber
-
Nutt-Wahlmann, Werner
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Nutt-Wahlmann, Werner
Ähnliche Objekte (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