Eighteenth Meeting of the Association for Symbolic Logic.

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

Keyphrases

high level
logic programming
data sets
modal logic
multi valued
classical logic
predicate logic
meeting room
artificial intelligence
symbolic representation
computational properties
binary decision diagrams
connectionist learning