EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings Volume 1: Invited Lectures
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)
Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Computation Theory Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
Symbolic and Algebraic Computation International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings
Algebraic Algorithms and Error-Correcting Codes 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings
Applied Algebra, Algorithmics and Error-Correcting Codes 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings
Computer Algebra: EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings (Lecture Notes in Computer Science, 162)
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968
Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings