書名 言語、論理、代数系と計算機科学の展開: Developments of Language, Logic, Algebraic system and Computer Science / 硏究代表者: 堀内清光(Kiyomitsu Horiuchi)
出版項 [京都市] : 京都大学数理解析硏究所, 2017
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  310.5 5812 v.2051    在架上    30340200558082
說明 166面: 圖 ; 25公分
系列 数理解析硏究所講究録 ; 2051= RIMS Kokyuroku ; 2051
数理解析硏究所講究録 ; 2051
RIMS Kokyuroku ; 2051
附註 含參考書目
Alt Author 堀内清光(Kiyomitsu Horiuchi), 硏究代表