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