Matches in Library of Congress for { <http://lccn.loc.gov/2001031372> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2001031372 contributor B8933983.
- 2001031372 created "c2001.".
- 2001031372 date "2001".
- 2001031372 date "c2001.".
- 2001031372 dateCopyrighted "c2001.".
- 2001031372 description "Includes bibliographical references (p. [133]-138) and index.".
- 2001031372 extent "xi, 140 p. :".
- 2001031372 identifier "1852334665 (acid-free paper)".
- 2001031372 identifier 2001031372-d.html.
- 2001031372 identifier 2001031372-t.html.
- 2001031372 isPartOf "CPHC/BCS distinguished dissertations.".
- 2001031372 isPartOf "Distinguished dissertations, 1439-9768".
- 2001031372 issued "2001".
- 2001031372 issued "c2001.".
- 2001031372 language "eng".
- 2001031372 publisher "London ; New York : Springer,".
- 2001031372 subject "006.3/33 21".
- 2001031372 subject "Automatic theorem proving.".
- 2001031372 subject "Newton, Isaac, 1642-1727. Principia.".
- 2001031372 subject "Nonstandard mathematical analysis.".
- 2001031372 subject "QA76.9.A96 F72 2001".
- 2001031372 title "A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / Jacques Fleuriot.".
- 2001031372 type "text".