命題論理の証明の複雑さに関する研究

著者

• 新井, 紀子 アライ, ノリコ

書誌事項

命題論理の証明の複雑さに関する研究

新井紀子研究代表

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

[国立情報学研究所], 2004.6

タイトル読み

メイダイ ロンリ ノ ショウメイ ノ フクザツサ ニ カンスル ケンキュウ

注記

課題番号: 13680422

詳細情報

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