プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション

著者

• 栗原, 正仁 クリハラ, マサヒト

書誌事項

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション

研究代表者 栗原正仁

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

[北海道大学工学部], 1995.3

タイトル読み

プログラム ノ ゴウセイ ヘンカン ケンショウ ニカンスル チシキ ノ セツメイ ニモトズク ガクシュウ ト リフォーメーション

注記

研究課題番号: 04650298

片面印刷

詳細情報

• NII書誌ID(NCID): BA90597571
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [札幌]
• ページ数/冊数: 62p
• 大きさ: 30cm
• 親書誌ID:
  • BN03663735