Symbolic Computation: Computer Algebra and Logic (1996)

by B Buchberger
Venue:Frontiers of Combining Systems, Proceedings of FROCOS 1996 (1st International Workshop on Frontiers of Combining Systems), March 26-28, 1996, Munich, volume Vol.3 of Applied Logic Series