否定を持つ論理プログラミングの代数的意味論の研究

著者

• 近藤, 通朗 コンドウ, ミチロウ

書誌事項

否定を持つ論理プログラミングの代数的意味論の研究

研究代表者:近藤通朗

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

[東京電機大学], 2006.6

タイトル読み

ヒテイロン オ モツ リロン プログラミング ノ ダイスウテキ イミロン ノ ケンキュウ

注記

本文は英文

詳細情報

• NII書誌ID(NCID): BA77570388
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: eng
• 出版地: [東京]
• ページ数/冊数: 1冊(片面印刷)
• 大きさ: 30cm
• 親書誌ID:
  • BA30764121