Matches in Library of Congress for { <http://lccn.loc.gov/98017946> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 98017946 contributor B8337245.
- 98017946 created "c1998.".
- 98017946 date "1998".
- 98017946 date "c1998.".
- 98017946 dateCopyrighted "c1998.".
- 98017946 description "Includes bibliographical references (p. [169]-183) and index.".
- 98017946 extent "xii, 186 p. :".
- 98017946 identifier "3540762566 (casebound : acid-free paper)".
- 98017946 isPartOf "CPHC/BCS distinguished dissertations.".
- 98017946 isPartOf "Distinguished dissertations".
- 98017946 issued "1998".
- 98017946 issued "c1998.".
- 98017946 language "eng".
- 98017946 publisher "London ; New York : Springer,".
- 98017946 subject "005.1/4 21".
- 98017946 subject "Automatic theorem proving.".
- 98017946 subject "QA76.9.A96 H37 1998".
- 98017946 title "Theorem proving with the real numbers / John Harrison.".
- 98017946 type "text".