Special issue on Applications of Computer Algebra.

Published in: J. Symb. Comput. (2007)

Keyphrases

special issue
computer algebra
theorem prover
ai edam
international journal
ecml pkdd
special section
applied intelligence
first order logic
computer algebra systems
databases
neural network
data analysis
fuzzy logic
random variables