LECTURE NOTES IN MATHEMATICS 1150: REARRANGEMENTS AND CONVEXITY OF LEVEL SETS IN PDE
1985 年出版134 页ISBN:3540156933;0387156933
Lecture Notes in Artificial Intelligence 2938 Agent-Based Hybrid Intelligent Systems An Agent-Based
2004 年出版196 页ISBN:3540209085
Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN:3540266550
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN:3540326545