Concepedia
1
Publications
44
Citations
H-Index
1968
Active since
Dick Herman Jacobus is an author specializing in automated reasoning, intuition, and semantics.
Top concepts
IntuitionSemanticsAutomated Reasoning
Publications per year
1968–1968
Investigations on the intuitionistic propositional calculus
D.H.J. de Jongh, Dick Herman Jacobus · Medical Entomology and Zoology · 1968 · 44 citations
Intuitionistic Logic, Intuitionistic Propositional Calculus, Automated Reasoning +4
Rows per page
1–1 of 1