熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 5 筆, 頁數 1 / 1
呈現:
Alberte
C est au gracieux int r t que vous avez t moign la Petite Duchesse qu Alberte de la Rochefaucon doit... more |
|||
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’’s Principia
|
|||
A Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton’s Principia
Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination...... more |
|||
Artificial Intelligence and Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou, China, September 16-19, 2018, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Artificial In... more |
|||
Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers
|