Jump to main content

yr 〜
yr

Search results 9

A modified completeness theorem of KAT and decidability of term reducibility

A modified completeness theorem of KAT and decidability of term reducibility
Digital博士論文障害者向け資料あり
浦本, 武雄浦本, 武雄2014
National Diet Library

圏論の地平線

圏論の地平線
Paper図書
西郷甲矢人 著, 長谷川真人 [ほか] [述]技術評論社2022.12<MA67-M37>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...圏論的にどうつながるのか？……浦本 武雄 第4章　認知科学者と語る圏論……池田 駿介／布山 美慕／高...
  • Contents...論 長谷川 真人 三好 博之 浦本 武雄 池田 駿介 Phillips......川 真人／述 三好 博之／述 浦本 武雄／述 池田 駿介／ほか述 St......川 真人‖述 三好 博之‖述 浦本 武雄‖述 池田 駿介‖ほか述 土谷 尚嗣‖述 春名 太一‖述 岡...

KATの完全性定理と項の還元可能性の決定可能性

KATの完全性定理と項の還元可能性の決定可能性
Digital博士論文
浦本, 武雄京都大学 (Kyoto University)2014-03-24
Available onlineOther Libraries in Japan
  • Author Heading浦本, 武雄

現代思想

現代思想
PaperDigital雑誌雑誌タイトル
青土社<Z9-368>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS