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

期刊

全部

2005, vol.36, no.1

2005, vol.36, no.2

2005, vol.36, no.3

2005, vol.36, no.4

题名	作者	出版年	年卷期
Guest Column: Progress in Descriptive Complexity	Neil Immerman	2005	2005, vol.36, no.4
Nominal Logic and Abstract Syntax	James Cheney	2005	2005, vol.36, no.4
On Quantum Versions of Record-Breaking Algorithms for SAT	Evgeny Dantsin; Vladik Kreinovich; Alexander Wolpert	2005	2005, vol.36, no.4
A Note On Turing Machine Computability Of Rule Driven Systems	Isaiah Pinchas Kantorovitz	2005	2005, vol.36, no.4