Login / Signup
Erik Buunk
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Deductive Reasoning
Knowledge Acquisition
Logical Framework
Higher Level
Top Venues
CoRR
</>
Publications
</>
Sebastian Erhardt
,
Mainak Ghosh
,
Erik Buunk
,
Michael E. Rose
,
Dietmar Harhoff
Logic Mill - A Knowledge Navigation System.
CoRR
(2023)