Hochschulschrift
Lazy generation of induction hypotheses and patching faulty conjectures
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896010988
3896010980
- Maße
-
21 cm
- Umfang
-
89 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Bd. 98
- Schlagwort
-
Induktionsbeweis
Automatisches Beweisverfahren
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
Infix
- (wann)
-
1995
- Urheber
-
Protzen, Martin
- 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:20 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
- Protzen, Martin
- Infix
Entstanden
- 1995
Ähnliche Objekte (12)
Induction on non-freely generated data types
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD, CAM
Verwendung von Bildauswertungsmethoden zur Erkennung und Lagebestimmung von generischen polyedrischen Objekten im Raum
Ein Regelsystem zur Integritätssicherung in aktiven relationalen Datenbanksystemen
Unifikation disjunktiver Attributterme : Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse
Aktive Ablaufplanung mit Multi-Agenten
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln : ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten
Objektverfolgung in Farbbildfolgen
Visuelle Objekterkennung als kognitive Simulation
Induction on non-freely generated data types
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD, CAM
Verwendung von Bildauswertungsmethoden zur Erkennung und Lagebestimmung von generischen polyedrischen Objekten im Raum
Ein Regelsystem zur Integritätssicherung in aktiven relationalen Datenbanksystemen
Unifikation disjunktiver Attributterme : Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse
Aktive Ablaufplanung mit Multi-Agenten
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln : ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten
Objektverfolgung in Farbbildfolgen
Visuelle Objekterkennung als kognitive Simulation
Induction on non-freely generated data types
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD, CAM
Verwendung von Bildauswertungsmethoden zur Erkennung und Lagebestimmung von generischen polyedrischen Objekten im Raum
Ein Regelsystem zur Integritätssicherung in aktiven relationalen Datenbanksystemen
Unifikation disjunktiver Attributterme : Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse
Aktive Ablaufplanung mit Multi-Agenten
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln : ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten
Objektverfolgung in Farbbildfolgen