Exploiting computer algebra systems in computer science courses (panel).

Philip Miller Kris Stewart Klaus Sutner Joseph L. Zachary

Published in: SIGCSE (1997)

Keyphrases

computer science courses
computer algebra systems
computer algebra
learning outcomes
theorem prover
information systems
digital libraries
management system
data mining
artificial intelligence
natural language
control system
long term
probability distribution
data management
theorem proving