Seventh Meeting of the Association for Symbolic Logic.
J. C. C. McKinseyPublished in: J. Symb. Log. (1942)
Keyphrases
- logic programming
- high level
- symbolic representation
- classical logic
- multi valued
- proof theory
- modal logic
- international workshop
- neural network
- connectionist models
- case study
- international conference
- binary decision diagrams
- multi party
- epistemic logic
- asynchronous circuits
- delay insensitive
- nonmonotonic logics
- defeasible logic
- logical framework
- database
- machine learning
- databases
- real time