B. Dunham

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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