関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成

Author(s)

• 佐藤, 雅彦 サトウ, マサヒコ

Bibliographic Information

関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成

研究代表者 佐藤雅彦

（科学研究費補助金(一般研究C)研究成果報告書, 昭和61年度）

[佐藤雅彦], 1987.3

Other Title

昭和61年度科学研究費補助金(一般研究C)研究成果報告書(課題番号 60580018)

一般研究C 60580018 関数的論理型プログラム言語の設計

Title Transcription

カンスウテキ ロンリガタ プログラム ゲンゴ ノ セッケイ ト ソレニ モトズク ショウメイ ケンショウ ゴウセイ システム ノ サクセイ

Note

研究課題番号: 60580018

研究代表者: 佐藤雅彦 (東北大学電気通信研究所教授)

Details

• NCID: BB12542420
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: [仙台]
• Pages/Volumes: 1冊
• Size: 26cm
• Parent Bibliography ID:
  • BN03663735