Meeting of the Association for Symbolic Logic: St. Louis 1972.

Carl G. Jockusch Jr.Joseph S. Ullian Robert B. Barrett Jr.

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

Keyphrases

classical logic
symbolic description
logic programming
computational properties
modal logic
symbolic reasoning
multi valued
binary decision diagrams
connectionist learning
database
symbolic data
asynchronous circuits
probability theory
multi party
symbolic representation
high level
neural network