Analogical Program Derivation Based on Type Theory.

Jianguo Lu Jiafu Xu

Published in: Theor. Comput. Sci. (1993)

Keyphrases

theoretical framework
machine learning
image sequences
domain theory
computer programs
computer vision
e learning
multi agent
qualitative reasoning
program execution
analogy making