Research Catalog
A computational logic handbook
- Title
- A computational logic handbook / Robert S. Boyer, J Strother Moore.
- Author
- Boyer, Robert S.
- Publication
- Boston : Academic Press, c1988.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 89-1457 | Offsite |
Holdings
Details
- Additional Authors
- Moore, J Strother, 1947-
- Description
- xvi, 408 p.; 24 cm.
- Series Statement
- Perspectives in computing ; vol. 23
- Uniform Title
- Perspectives in computing (Boston, Mass.) ; vol. 23.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 397-399.
- Call Number
- JSE 89-1457
- ISBN
- 0121229521
- LCCN
- 88022175
- OCLC
- 18191851
- 18191851
- Author
- Boyer, Robert S.
- Title
- A computational logic handbook / Robert S. Boyer, J Strother Moore.
- Imprint
- Boston : Academic Press, c1988.
- Series
- Perspectives in computing ; vol. 23Perspectives in computing (Boston, Mass.) ; vol. 23.
- Bibliography
- Bibliography: p. 397-399.
- Added Author
- Moore, J Strother, 1947-
- Research Call Number
- JSE 89-1457