Showing 1 - 3 results of 3 for search 'Fleuriot, Jacques, 1972-', query time: 0.02s
Refine Results
-
1
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / by Fleuriot, Jacques, 1972-
Published 2001Call Number: Loading…
Located: Loading…Book Loading… -
2
Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers /
Published 2013Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
3
Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /
Published 2018Other Authors: “…Fleuriot, Jacques, 1972-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook
Search Tools:
RSS Feed