HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
FUNDAMENTALS OF STRUCTURED PROGRAMMING USING FORTRAN WITH SF/K AND WATFIV-S
R.C.HOLT AND J.N.P.HUME1977 年出版349 页ISBN：0879093021
INTERNATIONAL ARBITRATION AND INTERNATIONAL COMMERCIAL LAW SYNERGY
P.PERALES VISCASILLAS & V.ROGERS2011 年出版0 页ISBN：
CADCAM IN EDUCATION AND TRAINING Proceedings of the CAD ED 83 Conference
1984 年出版427 页ISBN：085038799X
IP Operations and Management 7th IEEE Internationa Workshop
IPOM 20072007 年出版202 页ISBN：
INDONESIAN NOTEBOOK A SOURCEBOOK ON RICHARD WRIGHT AND THE BANDUNG CONFERENCE
BRIAN RUSSELL POBERTS AND KEITH FOULCHER2016 年出版262 页ISBN：9780822360667
CASES AND MATERIALS ON EU LAW 11TH EDITION
STEPHEN WEATHERILL2014 年出版643 页ISBN：0199685660
