Reasoning about arrays.

John C. Reynolds

Published in: ACM SIGPLAN Notices (1980)

Keyphrases

formal theory
spatial reasoning
qualitative reasoning
causal reasoning
linear array
data sets
artificial neural networks
hidden markov models
wireless sensor networks
probability distribution
practical reasoning