Matches in Library of Congress for { <http://lccn.loc.gov/00056315> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 00056315 contributor B50526.
- 00056315 created "c2001.".
- 00056315 date "2001".
- 00056315 date "c2001.".
- 00056315 dateCopyrighted "c2001.".
- 00056315 description "Includes bibliographical references (p. [207]-210) and index.".
- 00056315 extent "xiii, 231 p. :".
- 00056315 identifier "0387950753 (alk. paper)".
- 00056315 identifier 00056315-d.html.
- 00056315 identifier 00056315-t.html.
- 00056315 issued "2001".
- 00056315 issued "c2001.".
- 00056315 language "eng".
- 00056315 publisher "New York : Springer,".
- 00056315 subject "004/.01/5113 21".
- 00056315 subject "Automatic theorem proving.".
- 00056315 subject "QA76.9.A96 N49 2001".
- 00056315 title "Automated theorem proving : theory and practice / Monty Newborn.".
- 00056315 type "text".