Matches in Library of Congress for { <http://lccn.loc.gov/83022968> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 83022968 contributor B4416141.
- 83022968 created "c1984.".
- 83022968 date "1984".
- 83022968 date "c1984.".
- 83022968 dateCopyrighted "c1984.".
- 83022968 description "Includes bibliographical references and index.".
- 83022968 extent "xiv, 482 p. :".
- 83022968 identifier "0130544469 (pbk.)".
- 83022968 identifier "0130544531".
- 83022968 issued "1984".
- 83022968 issued "c1984.".
- 83022968 language "eng".
- 83022968 publisher "Englewood Cliffs, N.J. : Prentice-Hall,".
- 83022968 subject "001.53/5 19".
- 83022968 subject "Artificial intelligence.".
- 83022968 subject "Automatic theorem proving.".
- 83022968 subject "Computer programming.".
- 83022968 subject "QA76.9.A96 A93 1984".
- 83022968 title "Automated reasoning : introduction and applications / Larry Wos ... [et al.].".
- 83022968 type "text".