Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
LECTURE NOTES IN MATHEMATICS 1413: UNIQUENESS OF THE INJECTIVE III1 FACTOR
1989 年出版110 页ISBN：3540521305;0387521305
Lecture Notes In Computer Science 3583:Advances in Wed-Based Learning-ICWL 2005
Rynson W.H.Lau2005 年出版0 页ISBN：
MATHEMATICAL MODELS FOR HANDLING PARTIAL KNOWLEDGE IN ARTIFICIAL INTELLIGENCE
2222 年出版308 页ISBN：0306450763
Lecture Notes in Computer Science 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN：3540108858
ARTIFICIAL INTELLIGENCE IN COMPUTATIONAL ENGINEERING
2222 年出版254 页ISBN：0130482730
LECTURE NOTES IN MATHEMATICS 1293: THE MONODROMY GROUPS OF ISOLATED SINGULARITIES OF COMPLETE INTERS
1987 年出版161 页ISBN：3540186867;0387186867
