Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation /

Vita.

INDUCE-1 : an interactive inductive inference program in VL logic system /

"UILU-ENG 77 1727."--Cover.