Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, N...
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp
About this item
Full title
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp
Author / Creator
Journal title
The Journal of symbolic logic, 1990-09, Vol.55 (3), p.1302-1304
Language
English
Formats
More information
Alternative Titles
Full title
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_crossref_primary_10_2307_2274490
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_primary_10_2307_2274490
Other Identifiers
ISSN
0022-4812
E-ISSN
1943-5886
DOI
10.2307/2274490
How to access this item
Log in as a Library member
