Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN:0444508120
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN:0444829490
JOHN H. FLAVELL AND LEE ROSS1981 年出版322 页ISBN:0521236878
Robert L. Mathis and John H. Jackson1997 年出版602 页ISBN:
Ryan C. Amacher and Holley H. Ulbrich1992 年出版959 页ISBN:
(美)H. T. 麦吉尔,G. J. 普雷维特,T. R. 鲁宾逊著;耿建新,周芳等译2002 年出版379 页ISBN:7506245159
WILDERNESS LAWS PROVISIONS PERMISSIONS AND PROHIBTIONS
COOPER BROWN AND THOMAS A.WILSON EDITORS2011 年出版129 页ISBN:1614706948
HOW DOES THE CONSTITUTION SECURE RIGHTS?
ROBERT A. GOLDWIN AND WILLIAM A. SCHAMBRA EDITORS2222 年出版125 页ISBN:0844735221
the editors of Sunset Books and Sunset magazine1994 年出版112 页ISBN:0376024798