The Kinds of Truth of Geometry Theorems

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_8 ◽

2001 ◽

pp. 129-142 ◽

Cited By ~ 4

Author(s):

Michael Bulmer ◽

Desmond Fearnley-Sander ◽

Tim Stokes

Download Full-text