Automated Deduction in Ring Theory.

Ranganathan Padmanabhan Yang Zhang

Published in: ICMS (2016)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
neural network
deductive databases
database
expert systems
logic programming
decision theory
data sets
information retrieval
learning algorithm
artificial intelligence
conditional probabilities
conceptual framework