Matches in Library of Congress for { <http://lccn.loc.gov/2009401061> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2009401061 contributor B11570290.
- 2009401061 created "2006.".
- 2009401061 date "2006".
- 2009401061 date "2006.".
- 2009401061 dateCopyrighted "2006.".
- 2009401061 description "Includes bibliographical references (p. [250]) and index.".
- 2009401061 extent "x, 258 p. :".
- 2009401061 identifier "7030165837".
- 2009401061 identifier "9787030165831".
- 2009401061 identifier 2009401061.html.
- 2009401061 isPartOf "880-05 Xian dai shu xue ji chu cong shu ; 99".
- 2009401061 issued "2006".
- 2009401061 issued "2006.".
- 2009401061 language "chi".
- 2009401061 publisher "Beijing : Ke xue chu ban she,".
- 2009401061 subject "Automatic theorem proving.".
- 2009401061 subject "Logic, Symbolic and mathematical.".
- 2009401061 subject "QA76.9.A96 W37 2006".
- 2009401061 title "880-02 Shu li luo ji yin lun yu gui jie yuan li / Wang Guojun zhu.".
- 2009401061 type "text".