77-12 レンマを伴う定理の自動証明
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1977-03-15
著者
関連論文
- (2)情報システム技術者の人間像
- 77-34 プログラムにおける再帰呼び出しの除去について
- 77-17 プログラムの正当性証明入門
- 77-14 代数的な因数分解と有理関数の積分
- 77-12 レンマを伴う定理の自動証明
- 77-11 並列プログラムの形式的検証
- 76-35 並列プログラムの性質の検証 : 公理輪的アプローチ
- 76-16 プログラムの停止性についての検討
- 76-13 猿に言語学習をさせるための計算機制御教育機器
- 76-03 ある種の Presburger Formula に関する新しい証明法