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

書籍データ

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

出版社：大山口通夫

発売日：2006.4

viii, 92p 30cm

ISBN：