Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN:9783540729174
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN:9783540714095
London Mathematical Society Lecture Note Series.317 Advances in Elliptic Curve Cryptography
2005 年出版281 页ISBN:052160415X
Experimental methods in polymer science modern methods in polymer research and technology
ed. by Toyoichi Tanaka2000 年出版604 页ISBN:012683265x
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767