分散制約解消系を融合する関数論理型プログラミング

著者

• 井田, 哲雄 イダ, テツオ

書誌事項

分散制約解消系を融合する関数論理型プログラミング

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

[井田哲雄], 2000.3

タイトル読み

ブンサン セイヤク カイショウケイ オ ユウゴウ スル カンスウ ロンリガタ プログラミング

注記

研究代表者: 井田哲雄

研究課題番号: 10480053

詳細情報

• NII書誌ID(NCID): BA51652228
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [つくば]
• ページ数/冊数: 154p
• 大きさ: 30cm
• 親書誌ID:
  • BA30193701