Matches in Library of Congress for { <http://lccn.loc.gov/76054345> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 76054345 contributor B2854204.
- 76054345 created "1978.".
- 76054345 date "1978".
- 76054345 date "1978.".
- 76054345 dateCopyrighted "1978.".
- 76054345 description "Bibliography: p. [395]-399.".
- 76054345 extent "xii, 405 p. :".
- 76054345 identifier "0720404991".
- 76054345 isPartOf "Fundamental studies in computer science ; 6".
- 76054345 issued "1978".
- 76054345 issued "1978.".
- 76054345 language "eng".
- 76054345 publisher "Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland,".
- 76054345 subject "001.53/5".
- 76054345 subject "Automatic theorem proving.".
- 76054345 subject "QA76.9.A96 L68".
- 76054345 title "Automated theorem proving : a logical basis / Donald W. Loveland.".
- 76054345 type "text".