Topics in automated theorem proving and program generation
By: by Jieh Hsiang.
Series: UIUCDCS-R-1113; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; UIUCDCS-R-1113.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1983
Place of publication: Urbana, Ill
Language: eng
Number of pages: 126
Subjects: Automatic theorem proving.; Computer programming.
Notes: Bibliography: p. 120-125.
Originally presented as the author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1983.
"UILU-ENG 82 1740"--Cover.
"December 1982"--Cover.