1. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
پدیدآورنده : Fleuriot, Jacques, 2791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia
رده :
QA
76
.
9
.
A96F57
2. Automated Deduction in Geometry
پدیدآورنده : / Tetsuo Ida, Jacques Fleuriot
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3. Automated deduction in geometry :
پدیدآورنده : Tetsuo Ida, Jacques Fleuriot (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Geometry-- Data processing, Congresses
رده :
QA448
.
D38
I58
2012
4. Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
پدیدآورنده : Jacques Fleuriot
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
5. Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
پدیدآورنده : Jacques Fleuriot
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A96
J337
2001