- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Mathematik
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Contributor
-
Denzinger, Jörg
Fuchs, Matthias
Goller, C.
Schulz, Stephan
- URN
-
urn:nbn:de:hbz:386-kluedo-9490
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 AM 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.
Associated
- Denzinger, Jörg
- Fuchs, Matthias
- Goller, C.
- Schulz, Stephan
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
Exploiting past proof experience
Learning search control knowledge for equational deduction
Kapazitäts- und Kapazitätstransientenspektroskopie an selbstorganisiert gewachsenen InAs-Quantenpunkten
Experiments in the Heuristic Use of Past Proof Experience
Learning proof heuristics by adapting parameters
Learning search control knowledge for equational deduction
Porträt Stephan Schulz (1714-1776)
Dark Soul Poems : leidenschaftliche Gedichte voller Intensität
Design als Marketinginstrument : wie Design die Kaufentscheidung beeinflusst
Rathaus
Rathaus
Gesetzeskonkurrenz und mitbestrafte Vortaten
Exploiting past proof experience
Learning search control knowledge for equational deduction
Kapazitäts- und Kapazitätstransientenspektroskopie an selbstorganisiert gewachsenen InAs-Quantenpunkten
Experiments in the Heuristic Use of Past Proof Experience
Learning proof heuristics by adapting parameters
Learning search control knowledge for equational deduction
Porträt Stephan Schulz (1714-1776)
Dark Soul Poems : leidenschaftliche Gedichte voller Intensität
Design als Marketinginstrument : wie Design die Kaufentscheidung beeinflusst
Rathaus
Rathaus
Gesetzeskonkurrenz und mitbestrafte Vortaten
Exploiting past proof experience
Learning search control knowledge for equational deduction
Kapazitäts- und Kapazitätstransientenspektroskopie an selbstorganisiert gewachsenen InAs-Quantenpunkten
Experiments in the Heuristic Use of Past Proof Experience
Learning proof heuristics by adapting parameters
Learning search control knowledge for equational deduction
Porträt Stephan Schulz (1714-1776)
Dark Soul Poems : leidenschaftliche Gedichte voller Intensität
Design als Marketinginstrument : wie Design die Kaufentscheidung beeinflusst
Rathaus
Rathaus