Matches in Library of Congress for { <http://lccn.loc.gov/91009103> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 91009103 contributor B6359086.
- 91009103 created "c1991.".
- 91009103 date "1991".
- 91009103 date "c1991.".
- 91009103 dateCopyrighted "c1991.".
- 91009103 description "Includes bibliographical references (p. 225-232) and index.".
- 91009103 extent "xviii, 243 p. ;".
- 91009103 identifier "0471927848 :".
- 91009103 isPartOf "Wiley professional computing".
- 91009103 issued "1991".
- 91009103 issued "c1991.".
- 91009103 language "eng".
- 91009103 publisher "Chichester ; New York : Wiley,".
- 91009103 subject "511.3 20".
- 91009103 subject "Automatic theorem proving.".
- 91009103 subject "QA76.9.A96 D84 1991".
- 91009103 title "Principles of automated theorem proving / David A. Duffy.".
- 91009103 type "text".