Some Identities Concerning the Function Subst [x; y; z]
| dc.date.accessioned | 2004-10-04T14:39:23Z | |
| dc.date.accessioned | 2018-11-24T10:11:55Z | |
| dc.date.available | 2004-10-04T14:39:23Z | |
| dc.date.available | 2018-11-24T10:11:55Z | |
| dc.date.issued | 1962-01-01 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/6100 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/6100 | |
| dc.description | Revised March 1962 | en_US |
| dc.description.abstract | The purpose of this paper is two-fold; 1) to explore the use of recursion induction in proving theorem about functions of symbolic expressions, in particular. 2) to investigate thoroughly the algebraic properties of the LISP function subst [x; y; z] by this method. The main result is embodied in Theorem 8. | en_US |
| dc.format.extent | 2697815 bytes | |
| dc.format.extent | 2120354 bytes | |
| dc.language.iso | en_US | |
| dc.title | Some Identities Concerning the Function Subst [x; y; z] | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| AIM-037.pdf | 2.120Mb | application/pdf | View/ |
| AIM-037.ps | 2.697Mb | application/postscript | View/ |