Record:   Prev Next
書名 アルゴリズムにおける証明論 : 1974年11月5日-11月16日
出版項 [東京] : 京都大学数理解析研究所, 1975
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  310.5 5812 v.236    在架上    30340200227472
說明 213面 : 圖 ; 26公分
(平裝)
系列 数理解析研究所講究録 ; 236
附註 含參考書目
Record:   Prev Next