Equational programming
By: Nachum Dershowitz and David A. Plaisted.
Contributors: Plaisted, David A.
Series: Report / Department of Computer Science, University of Illinois at Urbana-Champaign ;; no. UIUCDCS-R-86-1265; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-86-1265.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1986
Place of publication: Urbana, Ill. (1304 W. Springfield, Urbana 61801)
Language: eng
Number of pages: 54
Subjects: Functional programming languages.; Logic programming.
Notes: Bibliography: p. 51-54.
"April 1986."
"UILU-ENG-86-1724"--Cover.