مرکز منطقه ای اطلاع رساني علوم و فناوري - Computer Algebra and Mechanized Reasoning: Selected St. Andrewsʹ ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

Title of article :

Computer Algebra and Mechanized Reasoning: Selected St. Andrewsʹ ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

Author/Authors :

Tom?sRecio، نويسنده , , Manfred Kerber، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Journal title :

Journal of Symbolic Computation

Serial Year :

2001

Journal title :

Journal of Symbolic Computation

Record number :

805551

Link To Document :