Meeting of the Association for Symbolic Logic.

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

Keyphrases

proof theory
modal logic
multi valued
logic programming
logical framework
nonmonotonic logics
asynchronous circuits
predicate logic
binary decision diagrams
sound and complete axiomatization
database
connectionist models
association analysis
digital circuits
set theory
search engine
data sets