前提に関する計算論理学的研究

Author(s)

Bibliographic Information

前提に関する計算論理学的研究

研究代表者 中澤恒子

中澤恒子, 2005.3

Other Title

平成14年度〜平成16年度科学研究費補助金(基盤研究(C)(2))研究成果報告書

Title Transcription

ゼンテイ ニ カンスル ケイサン ロンリガクテキ ケンキュウ

Available at  / 2 libraries

Search this Book/Journal

Note

平成14年度〜平成16年度科学研究費補助金(基盤研究(C)(2))研究成果報告書

研究分担者: 加藤恒昭, 畠山真一

課題番号: 14580406

Details

  • NCID
    BA74853932
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [東京]
  • Pages/Volumes
    1冊
  • Size
    30cm
Page Top