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
2
From page
1
To page
2
Journal title
Journal of Symbolic Computation
Serial Year
2001
Journal title
Journal of Symbolic Computation
Record number
805551
Link To Document