Login / Signup
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.
John Addison
Jon Barwise
H. Jerome Keisler
Kenneth Kunen
Yiannis N. Moschovakis
Published in:
J. Symb. Log. (1979)
Keyphrases
</>
propositional logic
classical logic
logic programming
artificial intelligence
high school
proof theory
regular expressions
symbolic representation
selected papers
asynchronous circuits
invited talk
connectionist systems
computer algebra
neural learning
natural deduction
predicate logic
high level