Ihr Suchergebnis
| Ergebnis 1 - 3 von 3 1 Gehe zu Seite von 1 | |
| 1. |
Autexier, Serge
(2003)
Hierarchical contextual reasoning
Dissertation
|
| 2. |
Autexier, Serge ; Hutter, Dieter
(1997)
Parameterized abstractions used for proof-planning
Kaiserslautern ; Saarbrücken : DFKI, 1997
Report (Bericht)
|
| 3. |
Autexier, Serge
(1993)
HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation
Report (Bericht)
|
| Ergebnis 1 - 3 von 3 1 Gehe zu Seite von 1 | |