Hochschulschrift
Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896011527
3896011529
- Dimensions
-
21 cm
- Extent
-
XV, 185 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1996
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 152
- Keyword
-
Computeralgebra
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin
- (who)
-
Infix
- (when)
-
1997
- Creator
-
Homann, Karsten
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:07 PM CEST
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
- Homann, Karsten
- Infix
Time of origin
- 1997
Other Objects (12)
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen
Externe Schemata in objektorientierten Datenbanksystemen : logische Datenunabhängigkeit durch Änderungen über Sichten
Eine mehrschichtige Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer Programme
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Verteiltes Lösen von Constraint-Problemen in Multitangenten-Systemen zur optimierten Planung in einer Fließfertigung
Grafische Wissensakquisitionssysteme und ihre Generierung
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen
Externe Schemata in objektorientierten Datenbanksystemen : logische Datenunabhängigkeit durch Änderungen über Sichten
Eine mehrschichtige Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer Programme
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Verteiltes Lösen von Constraint-Problemen in Multitangenten-Systemen zur optimierten Planung in einer Fließfertigung
Grafische Wissensakquisitionssysteme und ihre Generierung
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen
Externe Schemata in objektorientierten Datenbanksystemen : logische Datenunabhängigkeit durch Änderungen über Sichten
Eine mehrschichtige Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer Programme
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Verteiltes Lösen von Constraint-Problemen in Multitangenten-Systemen zur optimierten Planung in einer Fließfertigung
Grafische Wissensakquisitionssysteme und ihre Generierung
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge