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

by
Bruno Buchberger

Venue: | FRONTIERS OF COMBINING SYSTEMS, APPLIED LOGIC SERIES |

Citations: | 30 - 3 self |