Matches in Library of Congress for { <http://lccn.loc.gov/2005297871> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2005297871 alternative "Works. 2000".
- 2005297871 contributor B10191656.
- 2005297871 contributor B10191657.
- 2005297871 created "c2000.".
- 2005297871 date "2000".
- 2005297871 date "c2000.".
- 2005297871 dateCopyrighted "c2000.".
- 2005297871 description "Includes bibliographical references.".
- 2005297871 description "v. 1. Exploring the power of automated reasoning -- v. 2. Applying automated reasoning to puzzles, problems, and open questions.".
- 2005297871 extent "2 v. (xvii, 1639 p.) :".
- 2005297871 identifier "9810240015 (set)".
- 2005297871 identifier "9810249969 (v.1)".
- 2005297871 identifier "9810249985 (v.2)".
- 2005297871 issued "2000".
- 2005297871 issued "c2000.".
- 2005297871 language "eng".
- 2005297871 publisher "Singapore ; River Edge, NJ : World Scientific,".
- 2005297871 subject "511.3/6/028563 22".
- 2005297871 subject "Artificial intelligence.".
- 2005297871 subject "Automatic theorem proving.".
- 2005297871 subject "QA76.9.A96 W667 2000".
- 2005297871 tableOfContents "v. 1. Exploring the power of automated reasoning -- v. 2. Applying automated reasoning to puzzles, problems, and open questions.".
- 2005297871 title "The collected works of Larry Wos / Larry Wos, Gail W. Pieper.".
- 2005297871 title "Works. 2000".
- 2005297871 type "text".