B. Dunham

Design by natural selection

B. Dunham, D. Fridshal, R. Fridshal, 1963 .

Theorem Testing by Computer

B. Dunham, J. H. North, J. H. North, 1983 .

A non-heuristic program for proving elementary logical theorems

B. Dunham, R. Fridshal, G. L. Sward, 1959, IFIP Congress.

The Formalization of Scientific Languages - Part I: The Work of Woodger and Hull

B. Dunham, B. Dunham, 1957, IBM J. Res. Dev..

The Problem of Simplifying Logical Expressions

B. Dunham, R. Fridshal, 1959, J. Symb. Log..

The Multipurpose Bias Device - Part II: The Efficiency of Logical Elements

D. Middleton, B. Dunham, J. H. North, 1959, IBM J. Res. Dev..