论文与出版物 A unified statistical model for the identification of English baseNP Changning Huang, Endong Xun, Zhou Ming October 2000
论文与出版物 The Logic of Choice Andreas Blass, Yuri Gurevich Journal of Symbolic Logic | September 2000, 第 65 卷: pp. 1264-1310
论文与出版物 Switching Dynamic System Models for Speech Articulation and Acoustics Li Deng Proceedings of the IMA Workshop | September 2000
论文与出版物 Induction in Compositional Model Checking Kenneth L. McMillan , Shaz Qadeer, James B. Saxe 12th International Conference | July 2000