Search alternatives:
24 philosophy » 2 philosophy, 4 philosophy, 14 philosophy
23 philosophy » 2 philosophy, 3 philosophy, 13 philosophy

1
by Fleuriot, Jacques
Published 2001
Springer London
Table of Contents: ... of this Book -- 2. Geometry Theorem Proving -- 2.1 Historical Background -- 2.2 Algebraic Techniques -- 2.3...