A note on syntactic symmetry and the manipulation of formal systems by machine
- 30 April 1959
- journal article
- Published by Elsevier in Information and Control
- Vol. 2 (1) , 80-89
- https://doi.org/10.1016/s0019-9958(59)90090-7
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Intelligent Behavior in Problem-Solving MachinesIBM Journal of Research and Development, 1958