Matches in Library of Congress for { <http://lccn.loc.gov/88022175> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 88022175 contributor B5631759.
- 88022175 contributor B5631760.
- 88022175 created "c1988.".
- 88022175 date "1988".
- 88022175 date "c1988.".
- 88022175 dateCopyrighted "c1988.".
- 88022175 description "Bibliography: p. 397-399.".
- 88022175 extent "xvi, 408 p. ;".
- 88022175 identifier "0121229521".
- 88022175 isPartOf "Perspectives in computing (Boston, Mass.) ; vol. 23.".
- 88022175 isPartOf "Perspectives in computing ; vol. 23".
- 88022175 issued "1988".
- 88022175 issued "c1988.".
- 88022175 language "eng".
- 88022175 publisher "Boston : Academic Press,".
- 88022175 subject "511.3 19".
- 88022175 subject "Automatic theorem proving.".
- 88022175 subject "Logic, Symbolic and mathematical.".
- 88022175 subject "QA76.9.A96 B684 1988".
- 88022175 title "A computational logic handbook / Robert S. Boyer, J Strother Moore.".
- 88022175 type "text".