Computer Algebra and Computer Aided Systems Theory.

Thomas Beth Michael Clausen Dieter Gollmann

Published in: EUROCAST (1989)

Keyphrases

computer aided
computer algebra
computer assisted
image analysis
computer aided diagnosis
cad systems
computer algebra systems
theorem prover
design tools
neural network
process planning
capsule endoscopy
computer aided design
knowledge based systems
inference rules