Meeting of the Association for Symbolic Logic: Florence, Italy 1982.
E. CasariE. J. FenstadG. LolliG. LongoAnnalisa MarcjaDirk van DalenPublished in: J. Symb. Log. (1984)
Keyphrases
- classical logic
- modal logic
- automated reasoning
- artificial intelligence
- computer algebra
- asynchronous circuits
- symbolic description
- predicate logic
- defeasible logic
- computational properties
- model checking
- high level
- set theory
- digital circuits
- symbolic representation
- association analysis
- epistemic logic
- natural deduction
- neural network