![](https://www.pdfsearch.io/img/4a1177fad259d7360331cebf7a8732f7.jpg) Date: 2016-12-20 17:23:49
| | Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:Add to Reading ListSource URL: hal.inria.frDownload Document from Source Website File Size: 2,29 MBShare Document on Facebook
|