Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN:354042525X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat
BNCOD 182001 年出版218 页ISBN:354042265X
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
中国国际私法与比较法年刊 2012 第15卷=Chinese yearbook of private international law and comparative law
黄进,肖永平,刘仁山主编;中国国际私法学会,武汉大学国际法研究所...2013 年出版0 页ISBN: