Matches in Library of Congress for { <http://lccn.loc.gov/94001452> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 94001452 contributor B7158955.
- 94001452 created "c1994.".
- 94001452 date "1994".
- 94001452 date "c1994.".
- 94001452 dateCopyrighted "c1994.".
- 94001452 description "Includes bibliographical references (p. [281]-284) and index.".
- 94001452 extent "xiv, 288 p. :".
- 94001452 identifier "0387825061 (New York : acid-free paper)".
- 94001452 identifier "3211825061 (Wien : acid-free paper)".
- 94001452 identifier 94001452-d.html.
- 94001452 isPartOf "Texts and monographs in symbolic computation, 0943-853X".
- 94001452 issued "1994".
- 94001452 issued "c1994.".
- 94001452 language "eng chi".
- 94001452 language "eng".
- 94001452 publisher "Wien ; New York : Springer-Verlag,".
- 94001452 subject "516/.001/5113 20".
- 94001452 subject "Automatic theorem proving.".
- 94001452 subject "Geometry Data processing.".
- 94001452 subject "QA448.D38 W8 1994".
- 94001452 title "Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.".
- 94001452 type "text".