题名	责任者	出版社	索书号
方程求解与机器证明:基于MMP的问题求解	高小山[等]著	科学出版社	O122.2/092
Beginning Algebra. 4th ed.	Lial, Margaret L.	Scott, Foresman and Co.	O122/L1