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

著者

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

書誌事項

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

研究代表者 大山口通夫

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

[大山口通夫], 2006.4

タイトル読み

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

注記

研究課題番号: 15500009

詳細情報

• NII書誌ID(NCID): BA78010367
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [津]
• ページ数/冊数: viii, 92p
• 大きさ: 30cm
• 親書誌ID:
  • BA30764121