Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings

John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, Springer, 1993.

Conference: disco1993

Abstract

Abstract is missing.

Table of Contents