Matches in Library of Congress for { <http://lccn.loc.gov/87025052> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 87025052 contributor B5407610.
- 87025052 contributor B5407611.
- 87025052 created "1988.".
- 87025052 date "1988".
- 87025052 date "1988.".
- 87025052 dateCopyrighted "1988.".
- 87025052 description "Bibliography: p. 135-142.".
- 87025052 extent "154 p. :".
- 87025052 identifier "0470210060 (Wiley : pbk.)".
- 87025052 isPartOf "Research notes in theoretical computer science, 0268-7534".
- 87025052 issued "1988".
- 87025052 issued "1988.".
- 87025052 language "eng".
- 87025052 publisher "London : Pitman ; New York : Wiley,".
- 87025052 subject "511.3 19".
- 87025052 subject "Automatic theorem proving.".
- 87025052 subject "Nonclassical mathematical logic.".
- 87025052 subject "QA76.9.A96 T48 1988".
- 87025052 title "Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie, and Robert K. Meyer.".
- 87025052 type "text".