OTTER proofs in Tarskian geometry. Beeson, M. & Wos, L. In Demri, S., Kapur, D., & Weidenbach, C., editors, 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings, volume 8562, of Lecture Notes in Computer Science, pages 495-510, 2014. Springer.
OTTER proofs in Tarskian geometry [pdf]Pdf  bibtex   

Downloads: 0