Matches in Library of Congress for { <http://lccn.loc.gov/93166788> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 93166788 contributor B7029977.
- 93166788 created "1992.".
- 93166788 date "1992".
- 93166788 date "1992.".
- 93166788 dateCopyrighted "1992.".
- 93166788 description "Includes bibliographical references (p. 89-94) and index.".
- 93166788 extent "xi, 104 p. :".
- 93166788 identifier "0521432197 :".
- 93166788 identifier 93166788.html.
- 93166788 identifier 93166788.html.
- 93166788 isPartOf "Distinguished dissertations in computer science".
- 93166788 issued "1992".
- 93166788 issued "1992.".
- 93166788 language "eng".
- 93166788 publisher "Cambridge ; New York : Cambridge University Press,".
- 93166788 subject "005.13/1 20".
- 93166788 subject "Automatic theorem proving.".
- 93166788 subject "Logic programming.".
- 93166788 subject "Programming languages (Electronic computers) Semantics.".
- 93166788 subject "QA76.63 .A375 1992".
- 93166788 title "Logic programming : operational semantics and proof theory / James H. Andrews.".
- 93166788 type "text".