A New Incompleteness Result for Hoare's System.

Published in: J. ACM (1978)

Keyphrases

incomplete information
neural network
website
wide range
database
information systems
image processing
expert systems
relational databases
data model