Matches in Library of Congress for { <http://lccn.loc.gov/96003349> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 96003349 contributor B7739573.
- 96003349 created "c1996.".
- 96003349 date "1996".
- 96003349 date "c1996.".
- 96003349 dateCopyrighted "c1996.".
- 96003349 description "Includes bibliographical references (p. 419-421) and index.".
- 96003349 description "System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.".
- 96003349 extent "xiv, 443 p. ;".
- 96003349 identifier "0127634207 (alk. paper)".
- 96003349 identifier 96003349.html.
- 96003349 identifier 96003349.html.
- 96003349 issued "1996".
- 96003349 issued "c1996.".
- 96003349 language "eng".
- 96003349 publisher "San Diego : Academic Press,".
- 96003349 requires "System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.".
- 96003349 subject "511.3/0285/53 20".
- 96003349 subject "Artificial intelligence.".
- 96003349 subject "Automatic theorem proving.".
- 96003349 subject "Computer programming.".
- 96003349 subject "Otter (Computer file)".
- 96003349 subject "QA76.9.A96 W68 1996b".
- 96003349 title "The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos.".
- 96003349 type "text".