LECTURE NOTES IN MATHEMATICS 1164: GEOMETRY SEMINAR

1985 年出版224 页ISBN：3540160485;0387160485

LECTURE NOTES IN MATHEMATICS 1407: PROOF THEORY

1989 年出版216 页ISBN：3540518428;0387518428

Lecture Notes in Artificial Intelligence 4612 Adstraction

Reformulation2007 年出版0 页ISBN：

Lecture Notes in Computer Science 4838 Stabilization

Safety2007 年出版0 页ISBN：

LECTURE NOTES IN MATHEMATICS 1092: COMPLETE INTERSECTIONS

1984 年出版299 页ISBN：3540138846;0387138846

LECTURE NOTES IN MATHEMATICS 1266: SPACE CURVES

1987 年出版275 页ISBN：3540180206;0387180206

Lecture Notes in Computer Science 4576 Logic

Language2007 年出版0 页ISBN：

Lecture Notes in Computer Science 4109 Structural

Syntactic2006 年出版939 页ISBN：

LECTURE NOTES IN MATHEMATICS 1322: STOCHASTIC ANALYSIS

1988 年出版197 页ISBN：3540193529;0387193529

LECTURE NOTES IN MATHEMATICS 958: GROUP EXTENSIONS

REPRESENTATIONS1982 年出版281 页ISBN：