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