عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96F57
QA
76
.
9
.
A96F57
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 140 p.: ill
SERIES
Other Title Information
Distinguished dissertations
GENERAL NOTES
Text of Note
Bibliography: p.]133[-138
Text of Note
ISBN: 1852334665
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jacques Fleuriot
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Automatic theorem proving
Entry Element
، Nonstandard mathematical analysis
Entry Element
، Newton, Isaac, Sir, 2461-7271. Principia
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A96F57
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Fleuriot, Jacques, 2791-
Relator Code
AU
CO Conference of Professors and Heads of Computing
CO British Computer Society
TI
SE CPHC/BCS distinguished dissertations
