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而欢欣鼓舞;我们为申奥成功喜极而泣,夜不能寐;我们为中国在全球经济低迷中一枝独秀鼓...