構成的集合と余帰納的定義を用いたプログラム合成

著者

• 龍田, 真 タツタ, マコト

書誌事項

構成的集合と余帰納的定義を用いたプログラム合成

龍田真研究代表

（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成12年度-平成15年度）

[国立情報学研究所], 2004.5

タイトル読み

コウセイテキ シュウゴウ ト ヨキノウテキ テイギ オ モチイタ プログラム ゴウセイ

注記

課題番号: 12680346

詳細情報

• NII書誌ID(NCID): BB12157022
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [東京]
• ページ数/冊数: 31p
• 大きさ: 30cm
• 親書誌ID:
  • BA30195401