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