%0 Book Section %A Bulmer, Michael %A Fearnley-Sander, Desmond %A Stokes, Tim %B LNCS: Lecture Notes In Computer Science %D 2001 %E Richter-Gebert, Jürgen %E Wang, Dongming %I Springer Verlag %P 129-142 %T The Kinds of Truth of Geometry Theorems