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

著者

書誌事項

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

研究代表者 中澤恒子

中澤恒子, 2005.3

タイトル別名

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

タイトル読み

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

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

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

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

課題番号: 14580406

詳細情報

  • NII書誌ID(NCID)
    BA74853932
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpneng
  • 出版地
    [東京]
  • ページ数/冊数
    1冊
  • 大きさ
    30cm
ページトップへ