Matches in Library of Congress for { <http://lccn.loc.gov/94005809> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 94005809 contributor B7164012.
- 94005809 contributor B7164013.
- 94005809 created "c1994.".
- 94005809 date "1994".
- 94005809 date "c1994.".
- 94005809 dateCopyrighted "c1994.".
- 94005809 description "Includes bibliographical references (p. 445-454) and index.".
- 94005809 extent "xvii, 461 p. :".
- 94005809 identifier "9810215843".
- 94005809 isPartOf "Series on applied mathematics ; v. 6".
- 94005809 issued "1994".
- 94005809 issued "c1994.".
- 94005809 language "eng".
- 94005809 publisher "Singapore ; New Jersey : World Scientific,".
- 94005809 subject "516/.00285/51 20".
- 94005809 subject "Automatic theorem proving.".
- 94005809 subject "Axioms Data processing.".
- 94005809 subject "QA481 .C48 1994".
- 94005809 title "Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.".
- 94005809 type "text".