Login / Signup
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
Carl G. Jockusch Jr.
Richard Laver
J. Donald Monk
Jan Mycielski
Jon Pearce
Published in:
J. Symb. Log. (1984)
Keyphrases
</>
predicate logic
logic programming
classical logic
neural network
artificial intelligence
high level
modal logic
symbolic representation
digital circuits
binary decision diagrams
sound and complete axiomatization
data sets
epistemic logic
meeting room