Program Transformation and Proof Transformation.

Wilfried Sieg Stanley S. Wainer

Published in: CSL (1993)

Keyphrases

databases
linear transformation
real world
preprocessing
database
neural network
learning algorithm
social networks
image processing
learning environment
information technology
geometric transformations
fukunaga koontz