Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2204 Graph-Theoretic Concepts in Computer Science 27th Internation
WG 2001 Boltenhagen2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 2322 Multi-Agent Systems and Applicational II 9th ECCAI-ACA
AEMAS 20012002 年出版377 页ISBN：
王进主编；中央电视台《CCTV2001中国经济年度报告》编委会编2002 年出版185 页ISBN：7500555024
过去的2001年作为新世纪的第一年，注定将作为中国经济发展史上极不平凡的一年而永载史册。这一年，我们为历尽艰辛终于梦圆WTO而欢欣鼓舞；我们为申奥成功喜极而泣，夜不能寐；我们为中国在全球经济低迷中一枝独秀鼓...
