Meeting of the Association for Symbolic Logic: Reno, 1976.
Solomon FefermanJon BarwiseLeo HarringtonPublished in: J. Symb. Log. (1977)
Keyphrases
- modal logic
- congestion control
- computational properties
- symbolic representation
- sound and complete axiomatization
- predicate logic
- digital circuits
- set theory
- automated reasoning
- artificial intelligence
- logical framework
- end to end
- logic programming
- video sequences
- data mining
- binary decision diagrams
- neural learning
- proof theory
- meeting room
- data sets