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

CiNii Available at 1 libraries

Bibliographic Information

Title
"プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション"
Statement of Responsibility
研究代表者 栗原正仁
Publisher
  • [北海道大学工学部]
Publication Year
  • 1995.3
Book size
30cm
Other Title
  • プログラム ノ ゴウセイ ヘンカン ケンショウ ニカンスル チシキ ノ セツメイ ニモトズク ガクシュウ ト リフォーメーション

Search this Book/Journal

Notes

研究課題番号: 04650298

片面印刷

Related Books

See more

Details 詳細情報について

  • CRID
    1130282269744551168
  • NII Book ID
    BA90597571
  • Country Code
    ja
  • Title Language Code
    ja
  • Place of Publication
    • [札幌]
  • Data Source
    • CiNii Books
Back to top