Sign in
Irina Makarenko
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Theorem Prover
Higher Order Logic
Conditional Logic
Vector Space
Top Venues
KI
</>
Publications
</>
Irina Makarenko
,
Christoph Benzmüller
Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding.
KI
(2020)