Title: Automated deduction in geometry
First published: 1999
Subjects: Automatic theorem proving, Congresses, Data processing, Geometry, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Geometry, data processing
LC classification: QA448.D38 I577 1998