Hochschulschrift
Lazy generation of induction hypotheses and patching faulty conjectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896010988
3896010980
- Dimensions
-
21 cm
- Extent
-
89 S.
- Language
-
Deutsch
- Notes
-
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 98
- Keyword
-
Induktionsbeweis
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin
- (who)
-
Infix
- (when)
-
1995
- Creator
-
Protzen, Martin
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 PM CET
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
- Protzen, Martin
- Infix
Time of origin
- 1995
Other Objects (12)
Induction on non-freely generated data types
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen
Flexible Steuerung eines sprachverstehenden Systems mit homogener Wissensbasis
Dynamische Modularisierung lexikalischer Informationen in einem Wiederverwertungsszenario
Begleitende Montageablaufplanung für ein sensorgestütztes Zweiarm-Manipulatorsystem
Inkrementelle, domänenunabhängige Thesauruserstellung in dokumentbasierten Informationssystemen durch Kombination von Konstruktionsverfahren
Stochastic algorithms in scheduling theory
MoKon - ein Ansatz zur wissensbasierten Konfiguration von Variantenerzeugnissen
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen
Einsatz von Rückkopplungen in der Bildauswertung bei einem Hand-Auge-System zur automatischen Demontage
Induction on non-freely generated data types
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen
Flexible Steuerung eines sprachverstehenden Systems mit homogener Wissensbasis
Dynamische Modularisierung lexikalischer Informationen in einem Wiederverwertungsszenario
Begleitende Montageablaufplanung für ein sensorgestütztes Zweiarm-Manipulatorsystem
Inkrementelle, domänenunabhängige Thesauruserstellung in dokumentbasierten Informationssystemen durch Kombination von Konstruktionsverfahren
Stochastic algorithms in scheduling theory
MoKon - ein Ansatz zur wissensbasierten Konfiguration von Variantenerzeugnissen
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen
Einsatz von Rückkopplungen in der Bildauswertung bei einem Hand-Auge-System zur automatischen Demontage
Induction on non-freely generated data types
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen
Flexible Steuerung eines sprachverstehenden Systems mit homogener Wissensbasis
Dynamische Modularisierung lexikalischer Informationen in einem Wiederverwertungsszenario
Begleitende Montageablaufplanung für ein sensorgestütztes Zweiarm-Manipulatorsystem
Inkrementelle, domänenunabhängige Thesauruserstellung in dokumentbasierten Informationssystemen durch Kombination von Konstruktionsverfahren
Stochastic algorithms in scheduling theory
MoKon - ein Ansatz zur wissensbasierten Konfiguration von Variantenerzeugnissen
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen