Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN:0444508120
E.B.Noel J.O.M.Clark2222 年出版580 页ISBN:9781578986651
ADVANCED TECHNOLOGY OF PLASTICITY 1987 VOLUME II
K.LANGE1987 年出版674 页ISBN:3540179151
SOCIAL SECURITY LAW IN POLAND SECOND EDITION ANDRZEJ MARIAN S'WIATKOWSKI
ROGER BLANPAIN2014 年出版218 页ISBN:9041153395