- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI Report ; 94,04
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-3333
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 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
- Denzinger, Jörg
- Fuchs, Matthias
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure : A case study: lattice ordered groups
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
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
Learning proof heuristics by adapting parameters
Analytic solutions of the PRISM equations for Gaussian polymers
Evolving Combinators
The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure : A case study: lattice ordered groups
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
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
Learning proof heuristics by adapting parameters
Analytic solutions of the PRISM equations for Gaussian polymers
Evolving Combinators
The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure : A case study: lattice ordered groups
Rathaus
Rathaus
Science und Fiction ( 142 )
Gesetzeskonkurrenz und mitbestrafte Vortaten
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
Learning proof heuristics by adapting parameters
Analytic solutions of the PRISM equations for Gaussian polymers