Automated reasoning with Otter / (Kayıt no. 115629)
[ düz görünüm ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00699cam a2200217 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 132551 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20020916164400.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 020308s2001 nju 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1589490045 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | NEU |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.A96 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3/33 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Kalman John Arnold |
| 9 (RLIN) | 267336 |
| 245 10 - TITLE STATEMENT | |
| Title | Automated reasoning with Otter / |
| Statement of responsibility, etc. | John Arnold Kalman ; with a foreword by Larry Wos. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Princeton, N.J. : |
| Name of publisher, distributor, etc. | Rinton Press, |
| Date of publication, distribution, etc. | 2001. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xv, 536 p. ; |
| Dimensions | 27 cm. + |
| Accompanying material | 1 CD-ROM (4 3/4 in.) |
| 500 ## - GENERAL NOTE | |
| General note | Includes index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Automatic theorem proving |
| 9 (RLIN) | 366334 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial intelligence |
| 9 (RLIN) | 117213 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming |
| 9 (RLIN) | 118836 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| -- | 1000035 |
| Call number prefix | QA00000769A96K352001 |
| Koha item type | Book with CD |
| Total checkouts | Full call number | Barcode | Koha item type | Lost status | Damaged status | Not for loan | Withdrawn status | Home library | Current library | Shelving location |
|---|---|---|---|---|---|---|---|---|---|---|
| QA76.9.A96 K35 2001 | 2665276347 | Book with CD | NEU Grand Library | NEU Grand Library | General Collection | |||||
| QA76.9.A96 K35 2001 | 4016017711 | Book with CD | NEU Grand Library | NEU Grand Library | General Collection |