Automated Reasoning in Some Local Extensions of Ordered Structures.
ISMVL. 2007 S. 1
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/ISMVL.2007.10
Geprüft | Bibliothek |
ISMVL. 2007 S. 1
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/ISMVL.2007.10
Geprüft | Bibliothek |