Theories, Implementations, and Transformations.

Eric C. R. Hehner Ioannis T. Kassios

Published in: ZB (2002)

Keyphrases

efficient implementation
theoretical framework
object recognition
social networks
information systems
computational model
causal reasoning
formal models