Login / Signup
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19-24, 2021.
Published in:
Bull. Symb. Log. (2022)
Keyphrases
</>
classical logic
modal logic
multi valued
e learning
hong kong
case study
logic programming
logical framework
deontic logic
asynchronous circuits
databases
machine learning
information systems
high school
defeasible logic
natural deduction