Symbolic Computation: Computer Algebra and Logic (1996)
by
Bruno Buchberger
| Venue: | Frontiers of Combining Systems, Applied Logic Series |
| Citations: | 26 - 3 self |
Document Versions
| Symbolic Computation: Computer Algebra and Logic –Bruno Buchberger — 1996 — Frontiers of Combining Systems, Applied Logic Series |
