Third Meeting of the Association for Symbolic Logic.
Stephen Cole KleenePublished in: J. Symb. Log. (1938)
Keyphrases
- modal logic
- high level
- logic programming
- multi valued
- databases
- symbolic representation
- defeasible logic
- logic synthesis
- classical logic
- deontic logic
- association analysis
- connectionist systems
- real time
- symbolic description
- delay insensitive
- asynchronous circuits
- binary decision diagrams
- nonmonotonic logics
- set theory
- computational properties
- probabilistic logic
- theorem proving
- hidden markov models