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

Author(s)

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

Bibliographic Information

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

新井紀子研究代表

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

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

Title Transcription

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

Note

課題番号: 13680422

Details

• NCID: BB12156198
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: [東京]
• Pages/Volumes: 1冊
• Size: 30cm
• Parent Bibliography ID:
  • BA30195401