Login / Signup
Proof theory and mathematical meaning of paraconsistent C-systems.
Paolo Gentilini
Published in:
J. Appl. Log. (2011)
Keyphrases
</>
proof theory
expert systems
learning algorithm
natural language
np hard