書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

CiNii Available at 1 libraries

Bibliographic Information

Title
"書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究"
Statement of Responsibility
研究代表者 大山口通夫
Publisher
  • [大山口通夫]
Publication Year
  • 2006.4
Book size
30cm
Other Title
  • カキカエ システム ノ キホンテキ セイシツ ノ カイメイ ト テイリ ショウメイ システム ノ コウドカ ニ カンスル ケンキュウ

Search this Book/Journal

Notes

研究課題番号: 15500009

Related Books

See more

Details 詳細情報について

  • CRID
    1130000798027054720
  • NII Book ID
    BA78010367
  • Country Code
    ja
  • Title Language Code
    ja
  • Place of Publication
    • [津]
  • Data Source
    • CiNii Books
Back to top