Login / Signup
Adapting Formal Logic for Everyday Mathematics.
Antti Valmari
Published in:
CSEDU (2) (2022)
Keyphrases
</>
formal logic
predicate logic
description logics
formal methods
logic programming
design theory
computer science
information retrieval
artificial intelligence
knowledge representation
general purpose
temporal logic
deductive databases
knowledge representation and reasoning