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
MOTOYOSHI, FUMIO
Issue Date: Feb-1986
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 581
Start page: 146
End page: 153
URI: http://hdl.handle.net/2433/99303
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.