... Geom: A Prolog geometry theorem prover. Memórias 525, Laboratório Nacional ... Font, L., Richard, P. R., & Gagnon, M. (2018). Improving QED-Tutrix by ...
確定! 回上一頁