決定不能の論理パズル : ゲーデルの原理と様相論理, R.スマリヤン著(長尾確, 田中朋之訳), 白揚社, 1990

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人日本ソフトウェア科学会の論文
• 1991-07-15

著者

• 村上 昌己

  富士通研究所

関連論文

• ソフトウェア科学会第5回大会
• 決定不能の論理パズル : ゲーデルの原理と様相論理, R.スマリヤン著(長尾確, 田中朋之訳), 白揚社, 1990

スポンサーリンク