図書

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

図書を表すアイコン

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

国立国会図書館請求記号
Y151-H04650298
国立国会図書館書誌ID
000006988052
資料種別
図書
著者
栗原, 正仁, 北海道大学
出版者
-
出版年
1992-1995
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
プログラム ノ ゴウセイ ・ ヘンカン ・ ケンショウ ニ カンスル チシキ ノ セツメイ ニ モトヅク ガクシュウ ト リフオーメーシヨン
著者・編者
栗原, 正仁, 北海道大学
著者標目
栗原, 正仁, 1955- クリハラ, マサヒト, 1955- ( 00325826 )典拠
出版年月日等
1992-1995
出版年(W3CDTF)
1992
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
項書換え系 コウカキカエケイ
プログラム合成 プログラムゴウセイ
停止性 テイシセイ
検証 ケンシヨウ
EBL EBL
完備化 カンビカ
リフレクシヨン リフレクシヨン
モジユール モジユール