Introduction to Semi-Automated Mathematics. AFCRL 63-188. Contract No. AF19(628)-468. Project No. 5632. Task No. 563205.
- PART OF:
- Papers 1963
- Made:
- 1963-04
- part of archive:
- National Physical Laboratory Archive
- maker:
- National Physical Laboratory
Details
- Identifier:
- NPL/H4/2/4
- Access:
- Open Access
- rights:
- Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions