Login / Signup
An unsolvable problem concerning implicational calculi.
Ralph C. Applebee
Biswambhar Pahi
Published in:
Notre Dame J. Formal Log. (1970)
Keyphrases
</>
sequent calculi
neural network
reasoning problems
three dimensional
qualitative spatial