Hierarchical Reasoning in Local Theory Extensions and Applications.
SYNASC. 2014 S. 34 - 41
Erscheinungsjahr: 2014
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/SYNASC.2014.13
Geprüft | Bibliothek |
SYNASC. 2014 S. 34 - 41
Erscheinungsjahr: 2014
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/SYNASC.2014.13
Geprüft | Bibliothek |