Matches in Library of Congress for { <http://lccn.loc.gov/2002277409> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2002277409 contributor B9274726.
- 2002277409 created "c2001.".
- 2002277409 date "2001".
- 2002277409 date "c2001.".
- 2002277409 dateCopyrighted "c2001.".
- 2002277409 extent "xv, 536 p. ;".
- 2002277409 identifier "1589490045".
- 2002277409 issued "2001".
- 2002277409 issued "c2001.".
- 2002277409 language "eng".
- 2002277409 publisher "Princeton, N.J. : Rinton Press,".
- 2002277409 subject "006.3/33 21".
- 2002277409 subject "Artificial intelligence.".
- 2002277409 subject "Automatic theorem proving.".
- 2002277409 subject "Computer programming.".
- 2002277409 subject "Otter (Computer file)".
- 2002277409 subject "QA76.9.A96 K35 2001".
- 2002277409 title "Automated reasoning with Otter / John Arnold Kalman ; with a foreword by Larry Wos.".
- 2002277409 type "text".