Term Logic.

Peter M. Simons

Published in: Axioms (2020)

Keyphrases

modal logic
predicate logic
regularization term
database
neural network
machine learning
automated reasoning
multi valued
dynamic logic
digital circuits
nonmonotonic logics
computational properties
logical framework
website
information systems
artificial intelligence
real time