On Pi_2 Theories of hp-T Degrees of Low Sets.

Kunimasa Aoki Juichi Shinoda Teruko Tsuda

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

Keyphrases

theoretical framework
case study
domain theory
set theoretic
genetic algorithm
knowledge base
similarity measure
multiscale
high levels
causal reasoning