文字サイズ

  • 小
  • 中
  • 大

古書を探す

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究 <科学研究費補助金(基盤研究C)研究成果報告書>

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究 <科学研究費補助金(基盤研究C)研究成果報告書>

書籍データ

著者名:研究代表者 大山口通夫他の作品を見る

出版社:大山口通夫

発売日:2006.4

viii, 92p 30cm

ISBN:

リクエストを送る

クリスマス、冬の風物誌 - 歳時記、年中行事

年の瀬、新年 - 抱負、目標への指南