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]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{beeson2014-wos,
author = {Michael Beeson and Larry Wos},
booktitle = {7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings},
date-added = {2014-11-13 22:38:34 +0000},
date-modified = {2018-01-29 08:27:18 +0000},
editor = {St{\'e}phane Demri and Deepak Kapur and Christoph Weidenbach},
keywords = {Geometry, Automated deduction},
pages = {495-510},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {OTTER proofs in {T}arskian geometry},
url_pdf = {TarskiFormalization.pdf},
volume = {8562},
year = {2014}}Downloads: 0
{"_id":"jRT6xYoqtB554p9Rm","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M.","Wos, L."],"bibbaseid":"beeson-wos-otterproofsintarskiangeometry-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Larry"],"propositions":[],"lastnames":["Wos"],"suffixes":[]}],"booktitle":"7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings","date-added":"2014-11-13 22:38:34 +0000","date-modified":"2018-01-29 08:27:18 +0000","editor":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Deepak"],"propositions":[],"lastnames":["Kapur"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Weidenbach"],"suffixes":[]}],"keywords":"Geometry, Automated deduction","pages":"495-510","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"OTTER proofs in Tarskian geometry","url_pdf":"TarskiFormalization.pdf","volume":"8562","year":"2014","bibtex":"@inproceedings{beeson2014-wos,\n\tauthor = {Michael Beeson and Larry Wos},\n\tbooktitle = {7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings},\n\tdate-added = {2014-11-13 22:38:34 +0000},\n\tdate-modified = {2018-01-29 08:27:18 +0000},\n\teditor = {St{\\'e}phane Demri and Deepak Kapur and Christoph Weidenbach},\n\tkeywords = {Geometry, Automated deduction},\n\tpages = {495-510},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttitle = {OTTER proofs in {T}arskian geometry},\n\turl_pdf = {TarskiFormalization.pdf},\n\tvolume = {8562},\n\tyear = {2014}}\n","author_short":["Beeson, M.","Wos, L."],"editor_short":["Demri, S.","Kapur, D.","Weidenbach, C."],"key":"beeson2014-wos","id":"beeson2014-wos","bibbaseid":"beeson-wos-otterproofsintarskiangeometry-2014","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/TarskiFormalization.pdf"},"keyword":["Geometry","Automated deduction"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.049Z","downloads":1,"keywords":["geometry","automated deduction"],"search_terms":["otter","proofs","tarskian","geometry","beeson","wos"],"title":"OTTER proofs in Tarskian geometry","year":2014,"dataSources":["v9esbf6gQ8h64d3NA"]}