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 |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA76.9.A96 W67 1988 | Off-site |
Details
- Description
- xiii, 319 p.; 23 cm.
- Uniform Title
- Automated reasoning.
- Subjects
- Note
- Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984.
- Includes index.
- Bibliography (note)
- Bibliography: p. 273-282.
- ISBN
- 013054552X (pbk.)
- LCCN
- 87013148
- OCLC
- 15792812
- SCSB-1887565
- Owning Institutions
- Princeton University Library