Nineteenth Meeting of the Association for Symbolic Logic.
Irving M. CopiR. L. WilderPublished in: J. Symb. Log. (1956)
Keyphrases
- logic programming
- multi valued
- modal logic
- classical logic
- binary decision diagrams
- learning algorithm
- databases
- symbolic description
- logic synthesis
- delay insensitive
- connectionist learning
- proof theory
- asynchronous circuits
- association analysis
- digital circuits
- computational properties
- logical framework
- automated reasoning
- multi party
- symbolic representation