Meeting of the Association for Symbolic Logic, Leeds 1962.
M. H. LobPublished in: J. Symb. Log. (1962)
Keyphrases
- high level
- binary decision diagrams
- modal logic
- symbolic representation
- classical logic
- databases
- dynamic logic
- asynchronous circuits
- association analysis
- predicate logic
- logical framework
- multi valued
- logic programming
- machine learning
- data sets
- computational properties
- set theory
- description logics
- information systems
- symbolic description