{{holding.name}}
ISBN: 9789971500214 出版年:1985 页码:258 N Inada T Soma World Scientific Publishing Company
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.
{{comment.content}}