Toward computer-aided induction : a brief review of currently implemented AQVAL programs /

"UILU-ENG 77 1726."

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.

High school mathematics /

Each unit comprises Student's ed. and Teachers' ed., interleaved.