Matches in Library of Congress for { <http://lccn.loc.gov/94135697> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94135697 contributor B7268050.
- 94135697 created "1993.".
- 94135697 date "1993".
- 94135697 date "1993.".
- 94135697 dateCopyrighted "1993.".
- 94135697 description "Includes bibliographical references.".
- 94135697 extent "xiii, 338 p. :".
- 94135697 identifier "0521433126".
- 94135697 identifier 94135697.html.
- 94135697 identifier 94135697.html.
- 94135697 issued "1993".
- 94135697 issued "1993.".
- 94135697 language "eng".
- 94135697 publisher "Cambridge ; New York, NY, USA : Cambridge University Press,".
- 94135697 subject "004/.01/5113 20".
- 94135697 subject "Artificial intelligence Congresses.".
- 94135697 subject "Automatic theorem proving Congresses.".
- 94135697 subject "Logic, Symbolic and mathematical Congresses.".
- 94135697 subject "QA76.9.A96 L63 1993".
- 94135697 title "Logical environments / edited by Gérard Huet, Gordon Plotkin.".
- 94135697 type "text".