Mechanical theorem proving in classical geometry

Download
1987
Duyguluer, Ferruh
Citation Formats
F. Duyguluer, “Mechanical theorem proving in classical geometry,” Middle East Technical University, 1987.