プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション
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
片面印刷
- Tweet
Details 詳細情報について
-
- CRID
- 1130282269744551168
-
- NII Book ID
- BA90597571
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- [札幌]
-
- Data Source
-
- CiNii Books
