Concepedia
Statistics
Publications
1
Citations
56
H-Index
Active since
1972
J. Michael Dunn is an author specializing in automated theorem proving in algebra, humanities, and completeness results.
Publications per year
1972–1972
A modification of Parry's analytic implication.
J. Michael Dunn · Notre Dame Journal of Formal Logic · 1972 · 56 citations · Full text
Humanities, Computer Science, Mathematics +9
1–1 of 1