[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Implementing Reasoning Modules in Implicit Induction Theorem Provers
Stratulat, SorinYear:
2014
Language:
english
DOI:
10.1109/SYNASC.2014.26
File:
PDF, 673 KB
english, 2014