Hochschulschrift
Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896011527
3896011529
- Maße
-
21 cm
- Umfang
-
XV, 185 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1996
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Bd. 152
- Schlagwort
-
Computeralgebra
Automatisches Beweisverfahren
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
Infix
- (wann)
-
1997
- Urheber
-
Homann, Karsten
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:07 MESZ
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
- Homann, Karsten
- Infix
Entstanden
- 1997
Ähnliche Objekte (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