题名	责任者	出版社	索书号
计算机怎样解几何题:谈谈自动推理	张景中著	清华大学出版社	N49/35
人类认识世界的帮手:虚拟现实	汪成为著	清华大学出版社	N49/36