Non-Heuristic Program for Proving Elementary Logical Theorems by B. Dunham. UNESCO/NS/ICIP/1.6.10.
- Made:
- 1958-1959
- part of archive:
- National Physical Laboratory Archive
- maker:
- National Physical Laboratory
Details
- Identifier:
- NPL/H2/5/3
- Access:
- Open Access
- rights:
- Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions