Login / Signup
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.
Ayda I. Arruda
Rolando Chuaqui
Newton C. A. da Costa
Irene F. Mikenberg
Published in:
J. Symb. Log. (1981)
Keyphrases
</>
logic programming
high level
classical logic
modal logic
association analysis
multi valued
meeting room
delay insensitive
natural deduction
asynchronous circuits
deontic logic
abductive reasoning
database
theorem proving
bayesian networks
decision trees
machine learning
real time