関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成
著者
書誌事項
関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成
(科学研究費補助金(一般研究C)研究成果報告書, 昭和61年度)
[佐藤雅彦], 1987.3
- タイトル別名
-
昭和61年度科学研究費補助金(一般研究C)研究成果報告書(課題番号 60580018)
一般研究C 60580018 関数的論理型プログラム言語の設計
- タイトル読み
-
カンスウテキ ロンリガタ プログラム ゲンゴ ノ セッケイ ト ソレニ モトズク ショウメイ ケンショウ ゴウセイ システム ノ サクセイ
大学図書館所蔵 全1件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
研究課題番号: 60580018
研究代表者: 佐藤雅彦 (東北大学電気通信研究所教授)