Matches in Library of Congress for { <http://lccn.loc.gov/91043171> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 91043171 contributor B6398686.
- 91043171 created "c1992.".
- 91043171 date "1992".
- 91043171 date "c1992.".
- 91043171 dateCopyrighted "c1992.".
- 91043171 description "Includes bibliographical references and index.".
- 91043171 extent "xvi, 656 p. ;".
- 91043171 identifier "007911251X :".
- 91043171 issued "1992".
- 91043171 issued "c1992.".
- 91043171 language "eng".
- 91043171 publisher "New York : McGraw-Hill,".
- 91043171 subject "006.3 20".
- 91043171 subject "Artificial intelligence.".
- 91043171 subject "Automatic theorem proving.".
- 91043171 subject "Computer programming.".
- 91043171 subject "QA76.9.A96 A93 1991".
- 91043171 title "Automated reasoning : introduction and applications / Larry Wos ... [et al.].".
- 91043171 type "text".