Meeting of the Association for Symbolic Logic Manchester 1969.
Robin O. GandyC. E. M. YatesPublished in: J. Symb. Log. (1970)
Keyphrases
- logic programming
- classical logic
- sound and complete axiomatization
- neural learning
- symbolic representation
- high level
- automated reasoning
- defeasible logic
- predicate logic
- meeting room
- multi valued
- multi party
- computational properties
- binary decision diagrams
- epistemic logic
- deontic logic
- asynchronous circuits
- logic programs
- computer algebra
- artificial intelligence