A Type-Free System Extending (ZFC).

John R. Myhill Bob Flagg

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

real time
image processing
cooperative
evolutionary algorithm
computer vision
case study
three dimensional
image retrieval