Meeting of the Association for Symbolic Logic: New York City, May 1987.
Martin DavisRohit ParikhPublished in: J. Symb. Log. (1988)
Keyphrases
- logic programming
- classical logic
- databases
- neural network
- binary decision diagrams
- predicate logic
- digital circuits
- symbolic data
- connectionist models
- computational properties
- automated reasoning
- modal logic
- high level
- proof theory
- neural learning
- delay insensitive
- logic synthesis
- meeting room
- asynchronous circuits
- defeasible logic
- multi party
- symbolic representation
- description logics
- artificial neural networks