Interpolation in Local Theory Extensions.
IJCAR. 2006 S. 235 - 250
Erscheinungsjahr: 2006
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/11814771_21
Geprüft | Bibliothek |
IJCAR. 2006 S. 235 - 250
Erscheinungsjahr: 2006
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/11814771_21
Geprüft | Bibliothek |