ISBN-13: 9789971500214 / Angielski / Twarda / 1985 / 256 str.
ISBN-13: 9789971500214 / Angielski / Twarda / 1985 / 256 str.
This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manipulation machine at RIKEN known as the FLATS project.