Browsing by Subject Tarski’s geometry
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 1-Aug-2015 | Automated generation of machine verifiable and readable proofs: A case study of tarski’s geometry | Stojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag |