Login / Signup
A generalised propositional calculus.
Peter Jablon
Published in:
Notre Dame J. Formal Log. (1975)
Keyphrases
</>
propositional calculus
knowledge representation