Login / Signup
Automated Theory Formation in Mathematics.
Douglas B. Lenat
Published in:
IJCAI (1977)
Keyphrases
</>
computer aided
fully automated
semi automated
computer algebra
computer vision
computational model
theoretical framework
theoretical basis
formal theory
image sequences
computer science
medical images
information theory
computer assisted instruction