B. Dunham

List of publications from the DBLP Bibliography Server - FAQ

1959

2 B. Dunham, R. Fridshal, G. L. Sward: A non-heuristic program for proving elementary logical theorems. IFIP Congress 1959: 282-284

1 B. Dunham, R. Fridshal: The Problem of Simplifying Logical Expressions. J. Symb. Log. 24(1): 17-19 (1959)

1959
2		B. Dunham, R. Fridshal, G. L. Sward: A non-heuristic program for proving elementary logical theorems. IFIP Congress 1959: 282-284
1		B. Dunham, R. Fridshal: The Problem of Simplifying Logical Expressions. J. Symb. Log. 24(1): 17-19 (1959)

Coauthor Index