Meeting of the Association for Symbolic Logic.
John C. ShepherdsonS. KornerM. D. GladstonePublished in: J. Symb. Log. (1964)
Keyphrases
- modal logic
- symbolic representation
- automated reasoning
- multi valued
- predicate logic
- association analysis
- logic programming
- classical logic
- binary decision diagrams
- proof theory
- symbolic reasoning
- logic synthesis
- micron cmos
- data mining
- meeting room
- symbolic description
- computer algebra
- neural learning
- nonmonotonic logics
- case study