Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON APPLIED ETHICS AND APPLIED PHILOSOPHY IN EAST ASI
WANG QIAN2012 年出版243 页ISBN：7561173601
本书是“第二届东亚应用伦理学与应用哲学国际学术研讨会（大连，2011年5月）”的会议论文集。“东亚应用伦理学与应用哲学国际学术研讨会”是由日本神户大学、大连理工大学以及台湾大学联合发起的系列国际学术会...
