Symbolic Computation: Computer Algebra and Logic (1996)

Cached

Download Links

by Bruno Buchberger
Venue:FRONTIERS OF COMBINING SYSTEMS, APPLIED LOGIC SERIES
Citations:30 - 3 self