Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002973777/catalog> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- catalog contributor b4317608.
- catalog contributor b4317609.
- catalog created "1993.".
- catalog date "1993".
- catalog date "1993.".
- catalog dateCopyrighted "1993.".
- catalog description "Includes bibliographical references.".
- catalog extent "xiii, 338 p. :".
- catalog identifier "0521433126 :".
- catalog issued "1993".
- catalog issued "1993.".
- catalog language "eng".
- catalog publisher "Cambridge ; New York, NY : Cambridge University Press,".
- catalog subject "005.1 20".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "Frames (Information theory) Congresses.".
- catalog subject "Logic programming.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "QA76.9.A96 L63 1993".
- catalog title "Logical environments / edited by Gérard Huet, Gordon Plotkin.".
- catalog type "text".