Meeting of the Association for Symbolic Logic, Dallas 1973.
J. Donald MonkJan MycielskiJürgen SchmidtPublished in: J. Symb. Log. (1973)
Keyphrases
- high level
- classical logic
- logical framework
- automated reasoning
- modal logic
- symbolic reasoning
- association analysis
- predicate logic
- symbolic representation
- logic programming
- hidden markov models
- logic programs
- multi valued
- artificial neural networks
- defeasible logic
- digital circuits
- artificial intelligence
- data mining
- asynchronous circuits
- data sets