EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings Volume 1: Invited Lectures
EUROCAL '87 European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings Volume 2: Research Contributions
Algebra, Algebraic Topology and their Interactions: Proceedings of a Conference held in Stockholm, Aug. 3 - 13, 1983, and later developments (Lecture Notes in Mathematics, 1183)
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)
Methods and Tools for Computer Integrated Manufacturing: Advanced Crest Course on Computer Integrated Manufacturing (Cim 83) Karlsruhe, Germany, ... 1983 (Lecture Notes in Computer Science)
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science, 158)
EUROSAM 84 International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
