計算機怎樣解幾何題 : 談談自動推理 / 張景中著
人類認識世界的幫手 / 汪成為著
對稱與不對稱 / 李政道著 ; 朱允倫, 柳懷祖編
梳理人,事,物的糾紛 : 問題分析方法 / 蕭紀美著
沉默的寶藏 : 鹽湖資源 / 張彭熹著