Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Book title Buchtitel
Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Dragan, Ioan ; Korovin, Konstantin ; Kovacs, Laura ; Voronkov, Andrei | Bound Propagation for Arithmetic Reasoning in Vampire | Konferenzbeitrag Inproceedings | 2013 |