Access count of this item: 77

Files in This Item:
File Description SizeFormat 
0581-12.pdf749.45 kBAdobe PDFView/Open
Title: 国産数式処理システムGALにおけるパターンマッチング(数式処理と数学研究への応用)
Authors: 佐々木, 建昭  KAKEN_name
元吉, 文男  KAKEN_name
Author's alias: SASAKI, TATEAKI
Issue Date: Feb-1986
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 581
Start page: 146
End page: 153
Appears in Collections:Formula Manipulation and Its Applications for Mathematical Studies

Show full item record

Export to RefWorks

Export Format: 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.