グラフからマルチセットへの時相論理を用いた抽象化

書籍データ

平成18年度〜平成19年度科学研究費補助金(基盤研究(C))研究成果報告書 文部科学省科学研究費補助金(基盤研究(C))研究成果報告書

著者名：研究代表者 萩谷昌己他の作品を見る

出版社：萩谷昌己

発売日：2008.5

vi, 106p 30cm

ISBN：