INDUCE-1
Subtitle: an interactive inductive inference program in VL logic system
By: by James B. Larson
Contributors: University of Illinois at Urbana-Champaign. Dept. of Computer Science
Series: Report -- no. UIUCDCS-R-77-876; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 876.
Publisher: Dept. of Computer Science, University of Illinois
Published: 1977
Place of publication: Urbana
Language: eng
Number of pages: 113
Subjects: VL21 system; INDUCE-1
Notes: "May 1977."--T.p.

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

Supported in part by the National Science Foundation. NSF MCS 74-03514.