書き換えシステムの基本的性質の解明と完備化手続きに関する研究

書籍データ

平成8年度-平成10年度科学研究費補助金(基盤研究(C)(2))研究成果報告書

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

出版社：大山口通夫

発売日：1999.3

1冊 30cm

ISBN：