二宮 智子 | Information Science Center Meiji University
スポンサーリンク
概要
関連著者
-
向殿 政男
明治大学理工学部・情報科学科
-
二宮 智子
Information Science Center Meiji University
-
二宮 智子
Information Science Center, Meiji University
-
向殿 政男
School of science and technology, Meiji University
-
向殿 政男
School Of Science And Technology Meiji University
-
向殿 政男
明治大学理工学部情報科学科
-
向殿 政男
明治大学
-
二宮 智子
計算センター
著作論文
- 多値論理代数の完全な公理系発見への未定係数法の応用
- 代数の公理系を満す有限モデルの導出アルゴリズムとその性質
- クリーネ代数の公理の独立性について
- 代数の公理系を満たす有限モデルの導出アルゴリズムの改良
- 代数の公理系を満す有限モデルの導出アルゴリズムとその性質