Matches in Library of Congress for { <http://lccn.loc.gov/93033539> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 93033539 contributor B6928681.
- 93033539 created "1993.".
- 93033539 date "1993".
- 93033539 date "1993.".
- 93033539 dateCopyrighted "1993.".
- 93033539 description "Includes bibliographical references and index.".
- 93033539 extent "ix, 172 p. :".
- 93033539 identifier "0198539894 (Hbk.) :".
- 93033539 identifier 93033539-d.html.
- 93033539 identifier 93033539-t.html.
- 93033539 isPartOf "International series of monographs on computer science ; 10".
- 93033539 issued "1993".
- 93033539 issued "1993.".
- 93033539 language "eng".
- 93033539 publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- 93033539 subject "511.3 20".
- 93033539 subject "Automatic theorem proving.".
- 93033539 subject "Logic, Symbolic and mathematical.".
- 93033539 subject "QA76.9.A96 H34 1993".
- 93033539 title "Automated deduction in multiple-valued logics / Reiner Hähnle.".
- 93033539 type "text".