Hochschulschrift
Wissensbasierte Verfahren zur Synthese mathematischer Beweise : eine kombinatorische Anwendung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783929037104
3929037106
- Maße
-
21 cm
- Umfang
-
276 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Stuttgart, Univ., Diss., 1992
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; 10
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
Infix
- (wann)
-
1992
- Urheber
-
Eusterbrock, Jutta
- 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:26 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
- Eusterbrock, Jutta
- Infix
Entstanden
- 1992
Ähnliche Objekte (12)
Wissensbasierte genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Wissensbasierte Synthese von Bildanalyseprogrammen
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 genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Wissensbasierte Synthese von Bildanalyseprogrammen
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 genetische Algorithmen : Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Wissensbasierte Synthese von Bildanalyseprogrammen
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