Meeting of the Association for Symbolic Logic: Chicago, 1977.
Carl G. Jockusch Jr.Robert I. SoareWilliam W. TaitGaisi TakeutiPublished in: J. Symb. Log. (1978)
Keyphrases
- logic programming
- modal logic
- binary decision diagrams
- automated reasoning
- meeting room
- classical logic
- predicate logic
- formal theory
- digital circuits
- symbolic description
- connectionist models
- asynchronous circuits
- epistemic logic
- real time
- defeasible logic
- computational properties
- artificial intelligence
- data mining