Twenty-Fourth Annual Meeting of the Association for Symbolic Logic.
Alan Ross AndersonPublished in: J. Symb. Log. (1959)
Keyphrases
- modal logic
- predicate logic
- classical logic
- logic programming
- data mining
- high level
- computational properties
- neural learning
- computational molecular biology
- meeting room
- sound and complete axiomatization
- description logics
- computational intelligence
- automated reasoning
- logical framework
- data sets
- epistemic logic
- asynchronous circuits