Login / Signup
Computer Understanding of Mathematical Proofs.
Vesko Marinov
Published in:
IJCAI (1977)
Keyphrases
</>
mathematical proofs
computer technology
database
computer systems
deeper understanding
data mining
real time
neural network
website
multi agent
artificial neural networks
knowledge representation
computer programs