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

Author(s)

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

Bibliographic Information

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

研究代表者:近藤通朗

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

[東京電機大学], 2006.6

Title Transcription

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

Available at  / 3 libraries

Search this Book/Journal

Note

本文は英文

Related Books: 1-1 of 1

Details

  • NCID
    BA77570388
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    eng
  • Place of Publication
    [東京]
  • Pages/Volumes
    1冊(片面印刷)
  • Size
    30cm
  • Parent Bibliography ID
Page Top