Login / Signup
On the definition of the classical connectives and quantifiers.
Gilles Dowek
Published in:
CoRR (2016)
Keyphrases
</>
inference rules
databases
fuzzy logic
database
real time
artificial intelligence
face recognition
cooperative
natural language