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

Author(s)

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

Bibliographic Information

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

龍田真研究代表

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

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

Title Transcription

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

Note

課題番号: 12680346

Details

• NCID: BB12157022
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: engjpn
• Place of Publication: [東京]
• Pages/Volumes: 31p
• Size: 30cm
• Parent Bibliography ID:
  • BA30195401