78-12補助定理によって駆励される帰納関数理論用定理自動証明機

スポンサーリンク

概要

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

著者

• 長谷川 洋

  日本シュルンベルジェ(株)

関連論文

• 特集「知識工学」の編集にあたって
• LISP 構造エディタ (エディタ)
• 14. リストのコピー法 (アルゴリズムの最近の動向)
• 78-12補助定理によって駆励される帰納関数理論用定理自動証明機

スポンサーリンク