Meeting of the Association for Symbolic Logic: Berkeley, 1983.

J. W. Addison Herbert B. Enderton

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

Keyphrases

classical logic
logic programming
modal logic
neural network
high level
knowledge representation
programming language
symbolic representation
automated reasoning
logical framework
predicate logic
asynchronous circuits
connectionist models
national laboratory