Fifth Meeting of the Association for Symbolic Logic.

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

Keyphrases

modal logic
automated reasoning
symbolic representation
logic programming
classical logic
computer algebra
symbolic description
neural network
multi valued
computational properties
symbolic data
speaker diarization
social networks
high level
digital circuits