A Methodology for Equational Reasoning.

Jürgen Cleve Dieter Hutter

Published in: HICSS (3) (1994)

Keyphrases

multiscale
image processing
artificial neural networks
real time
real world
social networks
information systems
data structure
object recognition
expert systems