## Symbolic Computation: Computer Algebra and Logic (1996)

by
Bruno Buchberger

Venue: | Frontiers of Combining Systems, Applied Logic Series |

Citations: | 26 - 3 self |