عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96F57
QA
76
.
9
.
A96F57
کتابخانه
محل استقرار
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
London
Springer
c2001
xi, 140 p.: ill
Distinguished dissertations
Bibliography: p.]133[-138
ISBN: 1852334665
Jacques Fleuriot
1
، Automatic theorem proving
، Nonstandard mathematical analysis
، Newton, Isaac, Sir, 2461-7271. Principia
QA
76
.
9
.
A96F57
Fleuriot, Jacques, 2791-
AU
CO Conference of Professors and Heads of Computing
CO British Computer Society
TI
SE CPHC/BCS distinguished dissertations
