Hochschulschrift
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896011985
3896011987
- Dimensions
-
21 cm
- Extent
-
XV, 213 S.
- Language
-
Deutsch
- Notes
-
Zugl.: Darmstadt, Techn. Univ., Diss., 1998
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 198
- Keyword
-
Automatisches Beweisverfahren
Intuitionistische Logik
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin
- (who)
-
Infix
- (when)
-
1999
- Creator
-
Korn, Daniel
- 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:24 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
- Korn, Daniel
- Infix
Time of origin
- 1999
Other Objects (12)
Feature-Logik und Semiunifikation
Konstruktives Training von probabilistischen neuronalen Netzen für die Musterklassifikation
Inkrementelle wörterbuchbasierte Wortschatzerweiterungen in sprachverarbeitenden Systemen : Entwurf einer konstruktiven Lexikonkonzeption
ALCP : ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Ein Regelsystem zur Integritätssicherung in aktiven relationalen Datenbanksystemen
Unifikation disjunktiver Attributterme : Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse
Visuelle Objekterkennung als kognitive Simulation
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
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Feature-Logik und Semiunifikation
Konstruktives Training von probabilistischen neuronalen Netzen für die Musterklassifikation
Inkrementelle wörterbuchbasierte Wortschatzerweiterungen in sprachverarbeitenden Systemen : Entwurf einer konstruktiven Lexikonkonzeption
ALCP : ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Ein Regelsystem zur Integritätssicherung in aktiven relationalen Datenbanksystemen
Unifikation disjunktiver Attributterme : Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse
Visuelle Objekterkennung als kognitive Simulation
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
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Feature-Logik und Semiunifikation
Konstruktives Training von probabilistischen neuronalen Netzen für die Musterklassifikation
Inkrementelle wörterbuchbasierte Wortschatzerweiterungen in sprachverarbeitenden Systemen : Entwurf einer konstruktiven Lexikonkonzeption
ALCP : ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Ein Regelsystem zur Integritätssicherung in aktiven relationalen Datenbanksystemen
Unifikation disjunktiver Attributterme : Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse
Visuelle Objekterkennung als kognitive Simulation
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