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

期刊

全部

2011, vol.42, no.1

2011, vol.42, no.2

2011, vol.42, no.3

2011, vol.42, no.4

题名	作者	出版年	年卷期
Review of Foundations of Logic and Mathematics Applications to Computer Science and Cryptography	Saif Terai	2011	2011, vol.42, no.4
Review of 8 Proofs from THE BOOK (4th edition)	Miklos Bona	2011	2011, vol.42, no.4
Guest Column: Complexity Dichotomies of Counting Problems	X. Chen	2011	2011, vol.42, no.4