Symbolic Computation: Computer Algebra and Logic

@inproceedings{Buchberger1996SymbolicCC,
  title={Symbolic Computation: Computer Algebra and Logic},
  author={Bruno Buchberger},
  booktitle={FroCoS},
  year={1996}
}
Highly Cited
This paper has 48 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…