Steve Linton, Roberto Sebastiani. Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. Journal of Symbolic Computation, 34(4):239, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.