秋の卒業研究発表会

投稿日: Jul 22, 2015 3:47:2 PM

2015-08-25 (火)

11:00

本研究室学生の発表：

寺村匡介「評価による正規化を用いたブール代数の積和標準形の計算」