Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN：0444829490
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
The art and science of C a library-based introduction to computer science = C语言的科学和艺术 （英文版）
Eric Roberts2004 年出版706 页ISBN：7111139917
本书是一本C语言的入门读物。
艺术辩证法 中国艺术智慧形式 the wisdom of Chinese art forms
姜耕玉著2006 年出版415 页ISBN：7040171899
本书是教育部评选的的研究生推荐教材，艺术辨证法课程可以作为艺术类专业学生的必修课。本书作者凭借深厚的艺术理论素养和多年的创作经验，从深入考察中国文化背景与中西艺术美学比较中，发掘中国古代艺术辩证法...
从莫奈到毕加索 美国克利夫兰艺术博物馆藏印象派至现代派精品 masterworks from the Cleveland Museum of art
中华世纪坛世界艺术馆编著2006 年出版223 页ISBN：7501019436
本书精选美国克利夫兰艺术博物馆珍藏的艺术大师莫奈、毕加索等大师的绘画及雕塑作品90余件，集中展示了19世纪西方文化艺术的精髓。
QUANTITATIVE REASONING UNDERSTANDING THE MATHEMATICAL PATTERNS IN NATURE
FREDERICK P.GREENLEAF1997 年出版605 页ISBN：0072928670
A LOGIC BOOK FUNDAMENTALS OF REASONING THIRD EDITION
1998 年出版394 页ISBN：0534543383
PROBABILISTICS REASONING IN INTELLIGT SYSTEMS: NETWORKS OF PLAUSIBLE INFERENCE
1988 年出版552 页ISBN：0934613737
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING VOLUME1 DEDUCTIVE REASONING
2222 年出版618 页ISBN：0201182602
REASONING ABOUT FUZZY TEMPORAL AND SPATIAL INFORMATION FROM THE WEB
2011 年出版594 页ISBN：9789814307895
