Hierarchical Reasoning in Local Theory Extensions and Applications
Franz Winkler; Viorel Negru; Tetsuo Ida; Tudor Jebelean; Dana Petcu; Stephen Watt; Daniela Zaharie (Hrsg). Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2014; 22-25 September 2014; Timisoara, Romania. Los Alamitos, CA: IEEE Computer Society 2014 S. 34 - 41
Erscheinungsjahr: 2014
ISBN/ISSN: 978-1-4799-8447-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/SYNASC.2014.13
| Geprüft | Bibliothek |
