No CrossRef data available.
Article contents
J. A. Robinson. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 1–18.
Review products
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1974