Annual Meeting of the Association for Symbolic Logic.
J. Donald MonkPublished in: J. Symb. Log. (1965)
Keyphrases
- logic programming
- automated reasoning
- sound and complete axiomatization
- machine learning
- proof theory
- classical logic
- epistemic logic
- computational molecular biology
- symbolic representation
- database
- predicate logic
- binary decision diagrams
- formal theory
- deontic logic
- digital circuits
- delay insensitive
- asynchronous circuits
- multi party
- modal logic
- knowledge base
- databases