Matches in Library of Congress for { <http://lccn.loc.gov/99030211> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 99030211 contributor B8652264.
- 99030211 created "c2000.".
- 99030211 date "2000".
- 99030211 date "c2000.".
- 99030211 dateCopyrighted "c2000.".
- 99030211 description "Includes bibliographical references (p. [392]-402) and index.".
- 99030211 extent "xii, 420 p. :".
- 99030211 identifier "079235835X (hardcover : alk. paper)".
- 99030211 identifier 99030211-d.html.
- 99030211 identifier 99030211-t.html.
- 99030211 isPartOf "Mathematics and its applications (Kluwer Academic Publishers) ; v. 489.".
- 99030211 isPartOf "Mathematics and its applications ; v. 489".
- 99030211 issued "2000".
- 99030211 issued "c2000.".
- 99030211 language "eng chi".
- 99030211 language "eng".
- 99030211 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 99030211 subject "511.3 21".
- 99030211 subject "Artificial intelligence.".
- 99030211 subject "Automatic theorem proving.".
- 99030211 subject "Equations Numerical solutions.".
- 99030211 subject "QA76.9.A96 W8 2000".
- 99030211 title "Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun.".
- 99030211 type "text".