SciDok

Ihr Suchergebnis

Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1
1. Baader, Franz ; Schulz, Klaus U. (1993) Combination techniques and decision problems for disunification Kaiserslautern ; Saarbr├╝cken : DFKI, 1993 Report (Bericht)
 
2. Baader, Franz ; Schulz, Klaus (1991) Unification in the union of disjoint equational theories : combining decision procedures Kaiserslautern ; Saarbr├╝cken : DFKI, 1991 Report (Bericht)
 
Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1

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