Efficient Hierarchical Reasoning about Functions over Numerical Domains.
KI. 2008 S. 135 - 143
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-85845-4_17
Geprüft | Bibliothek |
KI. 2008 S. 135 - 143
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-85845-4_17
Geprüft | Bibliothek |