CSIR HQ Search for 'se,phr:"Lecture notes in mathematics'

Symposium on automatic demonstration

By Laudet, M., ed., [et.al.]. Berlin: Springer-Verlag, 1970 . 310p. , Lib/WDR/5/2005-06 dt 14/12/2005(wdr no.12656)

By Fleischman, W.M., ed. . Berlin: Springer-Verlag, 1970 . x, 109p.; , Includes bibliography 25cm.. 387052933

By Dickman, Raymond F., ed. . Berlin: Springer-Verlag, 1974 . 283p.; , Includes bibliography 24cm.. 3540066845

By Kelly, L.M., ed. . Berlin: Springer-Verlag, 1975 . 244p.; , Includes bibliography 24cm.. 3540074171

By Chartrand, G., ed. . Berlin: Springer-Verlag, 1969 . 290p.; , Includes bibliographical references 25cm..