Login / Signup
Reference Choices in Mathematical Proofs.
X. Huang
Published in:
ECAI (1990)
Keyphrases
</>
mathematical proofs
cognitive processes
design choices
real time
knowledge representation
user behavior