Journal of Automated Reasoning. Editor-in-chief L. Wos. Reidel. 4/yr. Dfl. 233, $97 (institutional); Dfl.100, $39 (individual).
Article PDF
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Steel, S. Programs to solve problems. Nature 323, 364 (1986). https://doi.org/10.1038/323364a0
Issue Date:
DOI: https://doi.org/10.1038/323364a0