HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
SEMICONDUCTOR CIRCUITS:Linear and Digital
MARLIN P.RISTENBATT1975 年出版391 页ISBN:
DECENTERING TRANSLATION STUDIES INDIA AND BEYOND
JUDY WAKABAYSHI2009 年出版224 页ISBN: