Matches in Library of Congress for { <http://lccn.loc.gov/87030387> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 87030387 contributor B5414193.
- 87030387 created "c1988.".
- 87030387 date "1988".
- 87030387 date "c1988.".
- 87030387 dateCopyrighted "c1988.".
- 87030387 description "Bibliography: p. 192.".
- 87030387 extent "xii, 362 p. :".
- 87030387 identifier "9027726507".
- 87030387 isPartOf "Mathematics and its applications (D. Reidel Publishing Company)".
- 87030387 isPartOf "Mathematics and its applications".
- 87030387 issued "1988".
- 87030387 issued "c1988.".
- 87030387 language "eng".
- 87030387 publisher "Dordrecht ; Boston : D. Reidel Pub. Co. ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers,".
- 87030387 subject "516/.0028/5 19".
- 87030387 subject "Automatic theorem proving.".
- 87030387 subject "QA76.9.A96 C48 1988".
- 87030387 title "Mechanical geometry theorem proving / Shang-Ching Chou.".
- 87030387 type "text".