مرکز منطقه ای اطلاع رساني علوم و فناوري - Integration of automated reasoning and computer algebra systems

Title of article :

Integration of automated reasoning and computer algebra systems

Author/Authors :

Olga Caprotti، نويسنده , , Volker Sorge، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2005

Pages :

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 :