Computer aided manipulation of symbols.
Published: 1970
Language: eng
Notes: Thesis (Ph. D.)--The Queens' University of Belfast, 1970.