SciDok

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

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English