MARC 主機 00000nam  2200000 a 4500 
001    mat00050409 
008    160301s2015    ja a     b    100 0 mul d 
040    AS|cAS|dMATH 
041 0  engjpn 
245 10 言語、論理、代数系と計算機科学の展開:|bDevelopments of 
       Language, Logic, Algebraic system and Computer Science /
       |c硏究代表者: 堀内清光(Kiyomitsu Horiuchi) 
260    [京都市] :|b京都大学数理解析硏究所,|c2017 
300    166面: |b圖 ;|c25公分 
490 1  数理解析硏究所講究録 ;|v2051=|aRIMS Kokyuroku ;|v2051 
504    含參考書目 
700 1  堀内清光(Kiyomitsu Horiuchi),|e硏究代表 
830  0 数理解析硏究所講究録 ;|v2051 
830  0 RIMS Kokyuroku ;|v2051 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  310.5 5812 v.2051    在架上    30340200558082