Title of article
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems
Author/Authors
Steve Linton، نويسنده , , Roberto Sebastiani، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
1
From page
239
To page
239
Journal title
Journal of Symbolic Computation
Serial Year
2002
Journal title
Journal of Symbolic Computation
Record number
805656
Link To Document