|
Showing 1 - 1 of
1 matches in All Departments
This book presents the refereed proceedings of the Fourth
International Symposium on Design and Implementation of Symbolic
Computation Systems, DISCO '96, held in Karlsruhe, Germany, in
September 1996.
The volume includes four invited contributions surveying the state
of the art in a particular subfield or pointing to some new
research directions together with 31 revised full papers selected
from a total of some 70 submissions. Many current aspects of
mathematical software systems, as employed e.g. in computer
algebra, automated theorem proving, or al- gebraic specification
are addressed.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R357
Discovery Miles 3 570
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.