Login / Signup
Automated Proofs of the Moufang Identities in Alternative Rings.
Siva Anantharaman
Jieh Hsiang
Published in:
J. Autom. Reason. (1990)
Keyphrases
</>
automated theorem provers
semi automated
fully automated
theorem prover
theorem proving
real world
data sets
decision trees
image segmentation
multi agent systems
hidden markov models
automated classification