Matches in Library of Congress for { <http://lccn.loc.gov/90020172> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 90020172 contributor B6104827.
- 90020172 created "c1991.".
- 90020172 date "1991".
- 90020172 date "c1991.".
- 90020172 dateCopyrighted "c1991.".
- 90020172 description "Includes bibliographical references.".
- 90020172 extent "viii, 727 p. :".
- 90020172 identifier "0262121565".
- 90020172 issued "1991".
- 90020172 issued "c1991.".
- 90020172 language "eng".
- 90020172 publisher "Cambridge, Mass. : MIT Press,".
- 90020172 subject "006.3 20".
- 90020172 subject "Automatic theorem proving.".
- 90020172 subject "Logic programming.".
- 90020172 subject "QA76.9.A96 C65 1991".
- 90020172 subject "Robinson, J. A. (John Alan)".
- 90020172 title "Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin.".
- 90020172 type "text".