European Meeting of the Association for Symbolic Logic.
Leszek PacholskiPublished in: J. Symb. Log. (1979)
Keyphrases
- modal logic
- classical logic
- logic programming
- asynchronous circuits
- high level
- symbolic representation
- predicate logic
- probabilistic logic
- multi valued
- connectionist systems
- north american
- neural learning
- digital circuits
- logical framework
- databases
- automated reasoning
- probability theory
- information systems
- information retrieval