Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979.

John N. Crossley Lloyd Humberstone

Published in: J. Symb. Log. (1981)

Keyphrases

united states
modal logic
multi party
high level
logic programming
automated reasoning
computational properties
connectionist models
predicate logic
binary decision diagrams
multi valued
classical logic
formal theory
neural learning
databases
epistemic logic
digital circuits
artificial intelligence