The Ackermann Constant Theorem: A Computer-Assisted Investigation.

Published in: J. Autom. Reason. (1991)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
digital topology
information systems
von neumann
project based learning
vocabulary learning
total knee replacement