80-22 複数の決定手続きの相互作用による論理式の単純化

スポンサーリンク

概要

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

著者

• 中原 早生

  東大・理

関連論文

• ロバート B.アンダスン 著, 有澤 誠 訳, "演習プログラムの証明", 近代科学社, A5判, 174p., \1,500, 1980
• 80-22 複数の決定手続きの相互作用による論理式の単純化

スポンサーリンク