Hochschulschrift
A connectionist approach for learning search control heuristics for automated deduction systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
VI, 126 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1997
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Inst. für Informatik
- (when)
-
1997
- Creator
-
Goller, Christoph
- 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:10 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
- Goller, Christoph
- Inst. für Informatik
Time of origin
- 1997
Other Objects (12)
The requirement and design specification language SPECTRUM, Part 1
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Automated simulation of flexible manufacturing systems
A framework for interaction description with roles
A polymorphic sort system for axiomatic specification languages
Structural coverage criteria for testing object-oriented software
Operating system services for task specific power management
Volume rendering techniques for general purpose graphics hardware
The requirement and design specification language SPECTRUM, Part 1
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Automated simulation of flexible manufacturing systems
A framework for interaction description with roles
A polymorphic sort system for axiomatic specification languages
Structural coverage criteria for testing object-oriented software
Operating system services for task specific power management
Volume rendering techniques for general purpose graphics hardware
The requirement and design specification language SPECTRUM, Part 1
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Automated simulation of flexible manufacturing systems
A framework for interaction description with roles
A polymorphic sort system for axiomatic specification languages
Structural coverage criteria for testing object-oriented software
Operating system services for task specific power management