関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成
著者
書誌事項
関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成
(科学研究費補助金(一般研究C)研究成果報告書, 昭和61年度)
[佐藤雅彦], 1987.3
- タイトル別名
-
昭和61年度科学研究費補助金(一般研究C)研究成果報告書(課題番号 60580018)
一般研究C 60580018 関数的論理型プログラム言語の設計
- タイトル読み
-
カンスウテキ ロンリガタ プログラム ゲンゴ ノ セッケイ ト ソレニ モトズク ショウメイ ケンショウ ゴウセイ システム ノ サクセイ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
研究課題番号: 60580018
研究代表者: 佐藤雅彦 (東北大学電気通信研究所教授)