Correctness Proofs for Abstract Implementation

Published in: Inf. Comput. (1989)

Keyphrases

implementation issues
information retrieval
three dimensional
efficient implementation
neural network
decision making
e learning
search algorithm
expert systems
implementation details