85-20 停止問題の決定不能性の機械による証明

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1985-06-15

著者

• 中茎 洋一郎

  東工大・理

関連論文

• 85-20 停止問題の決定不能性の機械による証明

スポンサーリンク