000			00468nam a2200145Ia 4500
008			211224s9999 xx 000 0 und d
020			_a9781852334666
082			_a006.333 FLE
100			_aFleuriot, Jacques
245		2	_aA combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
250			_a1st ed
260			_aBerlin: _bSpringer, _c2001
300			_axi, 140 p. : ill. ; 24 cm
650			_aAutomatic theorem proving
999			_c3655 _d3655