Hochschulschrift
Wissensbasierte Verfahren zur Synthese mathematischer Beweise : eine kombinatorische Anwendung
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783929037104
3929037106
- Dimensions
-
21 cm
- Extent
-
276 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Stuttgart, Univ., Diss., 1992
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; 10
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin
- (who)
-
Infix
- (when)
-
1992
- Creator
-
Eusterbrock, Jutta
- 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:26 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
- Eusterbrock, Jutta
- Infix
Time of origin
- 1992
Other Objects (12)
Wissensbasierte Synthese von Bildanalyseprogrammen
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Wissensbasierte Greifplanung für Mehrfinger-Roboterhände
Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern
Wissensbasierte Analyse medizinischer Bilder - das BIOTOP-Verfahren
Hypermediabasiertes Knowledge-Engineering für verteilte wissensbasierte Systeme
Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich
Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme
Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Wissensbasierte Synthese von Bildanalyseprogrammen
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Wissensbasierte Greifplanung für Mehrfinger-Roboterhände
Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern
Wissensbasierte Analyse medizinischer Bilder - das BIOTOP-Verfahren
Hypermediabasiertes Knowledge-Engineering für verteilte wissensbasierte Systeme
Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich
Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme
Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Wissensbasierte Synthese von Bildanalyseprogrammen
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Wissensbasierte Greifplanung für Mehrfinger-Roboterhände
Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern
Wissensbasierte Analyse medizinischer Bilder - das BIOTOP-Verfahren
Hypermediabasiertes Knowledge-Engineering für verteilte wissensbasierte Systeme
Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich
Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme
Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation