Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
 

Publications Publikationen


Filter:
Author:  Korovin, Konstantin

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dragan, Ioan ; Korovin, Konstantin ; Kovacs, Laura ; Voronkov, Andrei Bound Propagation for Arithmetic Reasoning in VampireKonferenzbeitrag Inproceedings2013