Login / Signup
Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.
Ayda I. Arruda
Francisco Miro Quesada
Newton C. A. da Costa
Rolando Chuaqui
Published in:
J. Symb. Log. (1978)
Keyphrases
</>
logic programming
automated reasoning
multi valued
high level
modal logic
symbolic representation
proof theory
classical logic
binary decision diagrams
artificial neural networks
meeting room
predicate logic
digital circuits
probability theory
asynchronous circuits
neural learning
probabilistic logic
latin america