Hochschulschrift
Human oriented proof presentation : a reconstructive approach
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896011121
389601112X
- Maße
-
21 cm
- Umfang
-
174 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 1994
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Bd. 112
- Schlagwort
-
Automatisches Beweisverfahren
Präsentation
Natürliche Sprache
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:50 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
- Huang, Xiaorong
- Infix
Entstanden
- 1996
Ähnliche Objekte (12)
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Access control in object oriented federated database systems
Heuristic and randomised optimisation techniques in object oriented database systems
Definition of behavior in object oriented databases by view integration
Human oriented proof presentation : a reconstructive approach
Human Oriented Proof Presentation: A Reconstructive Approach
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
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Aktive Ablaufplanung mit Multi-Agenten
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Access control in object oriented federated database systems
Heuristic and randomised optimisation techniques in object oriented database systems
Definition of behavior in object oriented databases by view integration
Human oriented proof presentation : a reconstructive approach
Human Oriented Proof Presentation: A Reconstructive Approach
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
Schema-unabhängige Anfragesprachen für relationale Datenbanken
Aktive Ablaufplanung mit Multi-Agenten
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Access control in object oriented federated database systems
Heuristic and randomised optimisation techniques in object oriented database systems
Definition of behavior in object oriented databases by view integration
Human oriented proof presentation : a reconstructive approach
Human Oriented Proof Presentation: A Reconstructive Approach
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
Schema-unabhängige Anfragesprachen für relationale Datenbanken