A Decision Method for Elementary Algebra and Geometry

• 1 January 1998
• book chapter
• Published by Springer Nature
• p. 24-84
• https://doi.org/10.1007/978-3-7091-9459-1_3

Abstract