TY  - BOOK
A1  -  Jacques Fleuriot
TI  - Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
PB  - کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90085820
UR  /book/90085820/Combination-of-Geometry-Theorem-Proving-and-Nonsta/
ER  -