Sign in
Computer Proofs in Group Theory.
Yuan Yu
Published in:
J. Autom. Reason. (1990)
Keyphrases
</>
theoretical basis
computer programs
theorem proving
general theory
databases
theoretical framework
neural network
decision making
image processing
clustering algorithm
expert systems
conceptual framework
personal computer
belief functions