Login / Signup
Karol Pak
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 38
Top Topics
Semantic Representations
Natural Deduction
Theorem Prover
Computer Assisted
Top Venues
Formaliz. Math.
CICM
J. Autom. Reason.
ITP
</>
Publications
</>