"Computational Mathematics, Computational Logic, and Symbolic Computation ..."

Bruno Buchberger (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics