Login / Signup
2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 - July 1, 2022.
Published in:
Bull. Symb. Log. (2022)
Keyphrases
</>
logic programming
classical logic
multi valued
modal logic
automated reasoning
proof theory
data sets
predicate logic
digital circuits
defeasible logic
learning environment
logical framework
hong kong
state university
high level
case study
asynchronous circuits
learning algorithm