Using the Boyer-Moore Theorem Prover: An Application to Problems in Geometry
Date
1986-08
Authors
Grimani, Mario
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
No abstract prepared.
Description
Keywords
logic, geometry, functions
Citation
Grimani, M. (1986). Using the Boyer-Moore theorem prover: An application to problems in geometry (Unpublished thesis). Southwest Texas State University, San Marcos, Texas.