1. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia

رده :
QA
76
.
9
.
A96F57