![](/img/cover-not-exists.png)
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors
Tomás Recio, Manfred KerberVolume:
32
Year:
2001
Language:
english
Pages:
2
DOI:
10.1006/jsco.2001.0458
File:
PDF, 77 KB
english, 2001