Title of article
Integration of automated reasoning and computer algebra systems
Author/Authors
Olga Caprotti، نويسنده , , Volker Sorge، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
2
From page
501
To page
502
Journal title
Journal of Symbolic Computation
Serial Year
2005
Journal title
Journal of Symbolic Computation
Record number
805845
Link To Document