構成的集合と余帰納的定義を用いたプログラム合成
著者
書誌事項
構成的集合と余帰納的定義を用いたプログラム合成
(科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成12年度-平成15年度)
[国立情報学研究所], 2004.5
- タイトル読み
-
コウセイテキ シュウゴウ ト ヨキノウテキ テイギ オ モチイタ プログラム ゴウセイ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
課題番号: 12680346