![](/img/cover-not-exists.png)
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems
Steve Linton, Roberto SebastianiVolume:
34
Year:
2002
Language:
english
DOI:
10.1006/jsco.2002.0553
File:
PDF, 78 KB
english, 2002