Research Catalog
Automated reasoning : introduction and applications
- Title
- Automated reasoning : introduction and applications / Larry Wos ... [et al.].
- Publication
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 84-853 | Offsite |
Details
- Additional Authors
- Wos, Larry.
- Description
- xiv, 482 p. : ill.; 24 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 84-853
- ISBN
- 0130544531
- 0130544469 (pbk.)
- LCCN
- 83022968
- OCLC
- 10099218
- NYPG84-B42315
- Title
- Automated reasoning : introduction and applications / Larry Wos ... [et al.].
- Imprint
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Wos, Larry.
- Research Call Number
- JSE 84-853