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

CiNii Available at 1 libraries

Bibliographic Information

Title
"命題論理の証明の複雑さに関する研究"
Statement of Responsibility
新井紀子研究代表
Publisher
  • [国立情報学研究所]
Publication Year
  • 2004.6
Book size
30cm
Other Title
  • メイダイ ロンリ ノ ショウメイ ノ フクザツサ ニ カンスル ケンキュウ

Search this Book/Journal

Notes

課題番号: 13680422

Related Books

See more

Details 詳細情報について

  • CRID
    1130000796191717888
  • NII Book ID
    BB12156198
  • Country Code
    ja
  • Title Language Code
    ja
  • Place of Publication
    • [東京]
  • Data Source
    • CiNii Books
Back to top