Paper: On Mechanical Theorem Proving in Minkowskian Plane Geometry (at LICS 1986)
Authors: Shang-Ching Chou Hai-Ping KoAbstract
No Abstract Available
BibTeX
@InProceedings{ChouKo-OnMechanicalTheorem, author = {Shang-Ching Chou and Hai-Ping Ko}, title = {On Mechanical Theorem Proving in Minkowskian Plane Geometry}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {187--192}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }