Title: Automated deduction in geometry
First published: 1997
Subjects: Automatic theorem proving, Congresses, Data processing, Geometry, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Geometry, data processing, Artificial intelligence, Formal languages, Computer graphics
LC classification: QA448.D38 I577 1996