- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI Report ; 95,02
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1995
- Creator
-
Fuchs, Matthias
- URN
-
urn:nbn:de:hbz:386-kluedo-3421
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 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
Experiments in the Heuristic Use of Past Proof Experience
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure : A case study: lattice ordered groups
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
Experiments in the Heuristic Use of Past Proof Experience
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure : A case study: lattice ordered groups
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
Experiments in the Heuristic Use of Past Proof Experience
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure : A case study: lattice ordered groups
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