Matches in Library of Congress for { <http://lccn.loc.gov/94223492> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 94223492 contributor B7357619.
- 94223492 created "c1992.".
- 94223492 date "1992".
- 94223492 date "c1992.".
- 94223492 dateCopyrighted "c1992.".
- 94223492 description "Includes bibliographical references (p. 227-231) and index.".
- 94223492 extent "xiii, 239 p. :".
- 94223492 identifier "0748603581 :".
- 94223492 isPartOf "Edinburgh information technology series ; 9".
- 94223492 issued "1992".
- 94223492 issued "c1992.".
- 94223492 language "eng".
- 94223492 publisher "Edinburgh : Edinburgh University Press,".
- 94223492 subject "511.3 20".
- 94223492 subject "Automatic theorem proving.".
- 94223492 subject "Logic".
- 94223492 subject "Logic, Symbolic and mathematical.".
- 94223492 subject "QA76.9.A96 T45 1992".
- 94223492 title "Autologic / Neil Tennant.".
- 94223492 type "text".