Automated Theo<em>rem>em P<em>rem>oving:A Logical Basis
<em>DONALDem> W.LOVELAND1978 年出版405 页ISBN：
THE O<em>Rem>ATO<em>Rem>’S EDUCATION BOOKS 3-5
<em>DONALDem> A.<em>Rem>USSELL2001 年出版275 页ISBN：
INEQUALITY AND ECONOMIC DEVELOPMENT IN MALAYSIA
<em>DONALDem> <em>Rem>.SNODG<em>Rem>ASS1980 年出版326 页ISBN：
THE O<em>Rem>ATO<em>Rem>’S EDUCATION BOOKS 1-2
<em>DONALDem> A.<em>Rem>USSELL2001 年出版221 页ISBN：
F<em>Rem>OM WALDEN POND TO <em>Jem>U<em>Rem>ASSIC PA<em>Rem>K
<em>DONALDem> E.PEASE2001 年出版289 页ISBN：
AME<em>Rem>ICAN ENGLISH IN ITS CULTU<em>Rem>AL SETTING
<em>DONALDem> <em>Jem>.LLOYD1956 年出版553 页ISBN：
AE<em>Rem>IAL PHOTOG<em>Rem>APHIC INTE<em>Rem>P<em>Rem>ETATION P<em>Rem>INCIPLES AND APPLICATIONS
<em>DONALDem> <em>Rem>.LUEDE<em>Rem>1959 年出版462 页ISBN：
FO<em>Rem>EIGN MILITA<em>Rem>Y INTE<em>Rem>VENTION The Dynamics of P<em>rem>ot<em>rem>acted Conflict
A<em>rem>iel E.Levite B<em>rem>uce W.<em>Jem>entleson <em>La<em>rem><em>rem>yem> Be<em>rem>man1992 年出版334 页ISBN：0231072945
COMPUTING WITH FO<em>Rem>T<em>Rem>AN A P<em>Rem>ACTICAL COU<em>Rem>SE
<em>DONALDem> M.MON<em>Rem>O1977 年出版242 页ISBN：0713125462
COMPUTE<em>Rem> CONCEPTS AND APPLICATIONS WITH BASIC
<em>DONALDem> H.SANDE<em>Rem>S1987 年出版683 页ISBN：0070546975
