Symbolic Computation: Computer Algebra and Logic (1996)

Cached

Download Links

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