Some Identities Concerning the Function Subst [x; y; z]

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6100

Full metadata record

DC Field	Value	Language
dc.creator	Norton, Lewis M.	-
dc.date	2004-10-04T14:39:23Z	-
dc.date	2004-10-04T14:39:23Z	-
dc.date	1962-01-01	-
dc.date.accessioned	2013-10-09T02:42:58Z	-
dc.date.available	2013-10-09T02:42:58Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AIM-037	-
dc.identifier	http://hdl.handle.net/1721.1/6100	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	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.	-
dc.description	Revised March 1962	-
dc.format	2697815 bytes	-
dc.format	2120354 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AIM-037	-
dc.title	Some Identities Concerning the Function Subst [x; y; z]	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI