Login / Signup
Cut-Free Proof Systems for Geach Logics.
Melvin Fitting
Published in:
FLAP (2015)
Keyphrases
</>
learning systems
management system
computer systems
database
machine learning
information systems
database systems
digital libraries
expert systems
proof theory