Weak Refinement in Z.

John Derrick Eerke A. Boiten Howard Bowman Maarten Steen

Published in: ZUM (1997)

Keyphrases

refinement process
neural network
search algorithm
information retrieval
data structure
pattern recognition
computational complexity