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
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
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Oberflächenbasierte Segmentierung von Tiefenbildern
Digitale und allgemeine Topologie in der bildhaften Wissensrepräsentation
Ein Basisdienst für die zuverlässige Abwicklung langdauernder Aktivitäten
Reaktives Planen mit gelernten Begriffen
Toleranz- und Kongruenzrelationen in relationalen Datenbanken
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
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
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Oberflächenbasierte Segmentierung von Tiefenbildern
Digitale und allgemeine Topologie in der bildhaften Wissensrepräsentation
Ein Basisdienst für die zuverlässige Abwicklung langdauernder Aktivitäten
Reaktives Planen mit gelernten Begriffen
Toleranz- und Kongruenzrelationen in relationalen Datenbanken
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
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
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Oberflächenbasierte Segmentierung von Tiefenbildern
Digitale und allgemeine Topologie in der bildhaften Wissensrepräsentation
Ein Basisdienst für die zuverlässige Abwicklung langdauernder Aktivitäten
Reaktives Planen mit gelernten Begriffen