プログラム検証のための帰納的定理自動証明法の研究
著者
書誌事項
プログラム検証のための帰納的定理自動証明法の研究
（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成10-13年度）
[外山芳人], 2002.3
- タイトル別名
-
平成10年度～平成13年度科学研究費補助金(基盤研究(C)(2))研究成果報告書(課題番号10680346)
- タイトル読み
-
プログラム ケンショウ ノ タメ ノ キノウテキ テイリ ジドウ ショウメイホウ ノ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する