Matches in Library of Congress for { <http://lccn.loc.gov/92198266> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 92198266 contributor B6783581.
- 92198266 created "1991.".
- 92198266 date "1991".
- 92198266 date "1991.".
- 92198266 dateCopyrighted "1991.".
- 92198266 description "Includes bibliographical references.".
- 92198266 extent "xii, 403 p. ;".
- 92198266 identifier "0521413001".
- 92198266 identifier 92198266.html.
- 92198266 identifier 92198266.html.
- 92198266 issued "1991".
- 92198266 issued "1991.".
- 92198266 language "eng".
- 92198266 publisher "Cambridge ; New York : Cambridge University Press,".
- 92198266 subject "005.13/1 20".
- 92198266 subject "Automatic theorem proving.".
- 92198266 subject "Frames (Information theory)".
- 92198266 subject "Logic.".
- 92198266 subject "Q390 .L64 1991".
- 92198266 title "Logical frameworks / edited by Gérard Huet, G. Plotkin.".
- 92198266 type "text".