- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896011992
3896011995
- Dimensions
-
21 cm
- Extent
-
XIV, 145 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 1999
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 199
- Keyword
-
Constraint-logische Programmierung
Quantorenelimination
Backtracking
Systemplanung
Bottom-up-Prinzip
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin
- (who)
-
Infix
- (when)
-
1999
- Creator
-
Fordan, Andreas
- 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:56 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
- Fordan, Andreas
- Infix
Time of origin
- 1999
Other Objects (12)
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules : ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme
Diagnosis and repair of constraint violations in database systems
Constraint-Netze als Grundlage für Bottom-up-Planungsansätze in der Unternehmensmodellierung
A declarative integration of terminological, constraint based, data driven, and goal directed reasoning
Grammatikentwicklung mit Constraint-Logikprogrammierung : Implementierung einer Grammatik für das Deutsche mit Prolog III
Verteiltes Lösen von Constraint-Problemen in Multitangenten-Systemen zur optimierten Planung in einer Fließfertigung
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Logic based representation and reasoning for user modeling shell systems
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Logic-based 0-1 constraint solving in constraint logic programming
Higher-order constraint logic programming
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules : ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme
Diagnosis and repair of constraint violations in database systems
Constraint-Netze als Grundlage für Bottom-up-Planungsansätze in der Unternehmensmodellierung
A declarative integration of terminological, constraint based, data driven, and goal directed reasoning
Grammatikentwicklung mit Constraint-Logikprogrammierung : Implementierung einer Grammatik für das Deutsche mit Prolog III
Verteiltes Lösen von Constraint-Problemen in Multitangenten-Systemen zur optimierten Planung in einer Fließfertigung
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Logic based representation and reasoning for user modeling shell systems
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Logic-based 0-1 constraint solving in constraint logic programming
Higher-order constraint logic programming
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules : ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme
Diagnosis and repair of constraint violations in database systems
Constraint-Netze als Grundlage für Bottom-up-Planungsansätze in der Unternehmensmodellierung
A declarative integration of terminological, constraint based, data driven, and goal directed reasoning
Grammatikentwicklung mit Constraint-Logikprogrammierung : Implementierung einer Grammatik für das Deutsche mit Prolog III
Verteiltes Lösen von Constraint-Problemen in Multitangenten-Systemen zur optimierten Planung in einer Fließfertigung
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Logic based representation and reasoning for user modeling shell systems
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Logic-based 0-1 constraint solving in constraint logic programming