![](/img/cover-not-exists.png)
[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - System Description: Statistical Parsing of Informalized Mizar Formulas
Kaliszyk, Cezary, Urban, Josef, Vyskocil, JiriYear:
2017
Language:
english
DOI:
10.1109/synasc.2017.00036
File:
PDF, 195 KB
english, 2017