- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI Report ; 95,10
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1995
- Creator
-
Fuchs, Matthias
- URN
-
urn:nbn:de:hbz:386-kluedo-3516
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 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.
Associated
- Fuchs, Matthias
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1995
Other Objects (12)
Exploiting past proof experience
Learning proof heuristics by adapting parameters
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
Learning from Previous Proof Experience: A Survey
Nonlinear rheological properties of dense colloidal dispersions close to a glass transition under steady shear
Der absurde Tunnel - Eine Umfahrung, die kaum einer nutzt
Experiments in the Automatic Selection of Problem-solving Strategies
Towards Full Automation of Deduction: A Case Study
Analytic solutions of the PRISM equations for Gaussian polymers
Exploiting past proof experience
Learning proof heuristics by adapting parameters
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
Learning from Previous Proof Experience: A Survey
Nonlinear rheological properties of dense colloidal dispersions close to a glass transition under steady shear
Der absurde Tunnel - Eine Umfahrung, die kaum einer nutzt
Experiments in the Automatic Selection of Problem-solving Strategies
Towards Full Automation of Deduction: A Case Study
Analytic solutions of the PRISM equations for Gaussian polymers
Exploiting past proof experience
Learning proof heuristics by adapting parameters
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
Learning from Previous Proof Experience: A Survey
Nonlinear rheological properties of dense colloidal dispersions close to a glass transition under steady shear
Der absurde Tunnel - Eine Umfahrung, die kaum einer nutzt
Experiments in the Automatic Selection of Problem-solving Strategies
Towards Full Automation of Deduction: A Case Study