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

Author(s)

• 大山口, 通夫 オオヤマグチ, ミチオ

Bibliographic Information

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

研究代表者:大山口通夫

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

[大山口通夫], 2003.5

Title Transcription

カキカエ システム ノ キホンテキ セイシツ ノ カイメイ ト テイリ ノ ジドウ ショウメイ ニ カンスル ケンキュウ

Note

課題番号: 12680344

Details

• NCID: BA63078094
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: engjpn
• Place of Publication: [津]
• Pages/Volumes: viii, 83p
• Size: 30cm
• Parent Bibliography ID:
  • BA30195401