中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

全部

2001	2002	2003	2004	2005	2006
2007	2008

2008, vol.23, no.1

2008, vol.23, no.2

2008, vol.23, no.3

2008, vol.23, no.4

2008, vol.23, no.5

2008, vol.23, no.6

题名	作者	出版年	年卷期
限定的出現マッチを利用した逆単調制約付き頻出飽和順序木の発見	尾崎知伸; 大川剛直	2008	2008, vol.23, no.2
ルールの本体での置換と一般の公理に関する証明手続きによる論理プログラムの計算手続きの完全性	秋葉澄孝	2008	2008, vol.23, no.2
部分空間法に基づく変化点検知アルゴリズム	河原吉伸; 矢入健久; 町田和雄	2008	2008, vol.23, no.2