European Meeting of the Association for Symbolic Logic: Oxford, England, 1976.
Robin O. GandyDana S. ScottPublished in: J. Symb. Log. (1977)
Keyphrases
- logic programming
- modal logic
- high level
- asynchronous circuits
- connectionist learning
- summer school
- classical logic
- epistemic logic
- genetic algorithm
- information systems
- multi valued
- association analysis
- defeasible logic
- sound and complete axiomatization
- proof theory
- natural deduction
- binary decision diagrams
- predicate logic
- digital circuits
- neural network
- logical framework
- symbolic representation
- social networks
- data mining