Symbolic computation and the finite element method.

John P. Fitch Richard G. Hall

Published in: EUROCAL (1987)

Keyphrases

imperative programs
automated deduction
finite element method
higher order
artificial intelligence
query language
natural images
expert systems
image analysis
dynamic logic