Login / Signup
Proof analysis beyond geometric theories: from rule systems to systems of rules.
Sara Negri
Published in:
J. Log. Comput. (2016)
Keyphrases
</>
management system
knowledge based systems
data sets
distributed systems
neural network
rule discovery