Research Catalog
Automated reasoning : 33 basic research problems
- Title
- Automated reasoning : 33 basic research problems / Larry Wos.
- Author
- Wos, Larry.
- Publication
- Englewood Cliffs, N.J. : Prentice-Hall, c1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 88-2718 | Offsite |
Details
- Description
- xiii, 319 p.; 23 cm.
- Uniform Title
- Automated reasoning.
- Subject
- Note
- Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984.
- Includes index.
- Bibliography (note)
- Bibliography: p. 273-282.
- Call Number
- JSE 88-2718
- ISBN
- 013054552X (pbk.)
- LCCN
- 87013148
- OCLC
- 15792812
- NYPG87-B69113
- Author
- Wos, Larry.
- Title
- Automated reasoning : 33 basic research problems / Larry Wos.
- Imprint
- Englewood Cliffs, N.J. : Prentice-Hall, c1988.
- Bibliography
- Bibliography: p. 273-282.
- Added Title
- Automated reasoning.
- Research Call Number
- JSE 88-2718