Non-Heuristic Program for Proving Elementary Logical Theorems by B. Dunham. UNESCO/NS/ICIP/1.6.10.

PART OF:
Numeric analysis and programming material
Made:
1958-1959
part of archive:
National Physical Laboratory Archive
maker:
National Physical Laboratory

Details

Identifier:
NPL/H2/5/3
Access:
Open Access
copyright:
More
Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions

Browse this archive