Acronyms von A bis Z
LNCS203
-EUROCAL '85. Proceedings Vol. 1, Springer-Verlag 1985. Edited by B. Buchberger. V, 233 pages, 1985
-EUROCAL '85. Proceedings Vol. 1, Springer-Verlag 1985. Edited by B. Buchberger. V, 233 pages, 1985