Login / Signup
Logic and Computation (Panel).
Erwin Engeler
Published in:
IFIP Congress (1986)
Keyphrases
</>
automated reasoning
modal logic
classical logic
database
data sets
databases
neural network
artificial intelligence
computer vision
multi valued
computational properties