Matches in Library of Congress for { <http://lccn.loc.gov/2001090839> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2001090839 contributor B8969480.
- 2001090839 created "c2001.".
- 2001090839 date "2001".
- 2001090839 date "c2001.".
- 2001090839 dateCopyrighted "c2001.".
- 2001090839 description "Includes bibliographical references and index.".
- 2001090839 extent "2 v. (xxv, 2122 p.) :".
- 2001090839 identifier "0262182211 (MIT Press, v. 1 : alk. paper)".
- 2001090839 identifier "026218222X (MIT Press, v. 2 : alk. paper)".
- 2001090839 identifier "0262182238 (MIT Press, set of vol 1 + 2 : alk. paper)".
- 2001090839 identifier "0444508120 (Elsevier Science, v. 2 : alk. paper)".
- 2001090839 identifier "0444508139 (Elsevier Science, set of v. 1 + 2 : alk. paper)".
- 2001090839 identifier "0444829490 (Elsevier Science, v. 1 : alk. paper".
- 2001090839 issued "2001".
- 2001090839 issued "c2001.".
- 2001090839 language "eng".
- 2001090839 publisher "Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press,".
- 2001090839 subject "511.3 21".
- 2001090839 subject "Automatic theorem proving.".
- 2001090839 subject "QA76.9.A96 H35 2001".
- 2001090839 subject "Qualitative reasoning.".
- 2001090839 title "Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov.".
- 2001090839 type "text".