Full text
PDF
. 1955 Jul 15;41(7):498–511. doi: 10.1073/pnas.41.7.498
DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY*
Robert S Ledley
1
Robert S Ledley
1OPERATIONS RESEARCH OFFICE, JOHNS HOPKINS UNIVERSITY
Find articles by Robert S Ledley
1OPERATIONS RESEARCH OFFICE, JOHNS HOPKINS UNIVERSITY
*
This paper is an excerpt of a technical memorandum which is being published by the Operations Research Office and is part an investigation of methods for applying symbolic logic to operations research problems.
PMCID: PMC528125 PMID: 16589706
