![](/img/cover-not-exists.png)
Computer supported mathematics with Ωmega
Jörg Siekmann, Christoph Benzmüller, Serge AutexierVolume:
4
Year:
2006
Language:
english
Pages:
27
DOI:
10.1016/j.jal.2005.10.008
File:
PDF, 1.14 MB
english, 2006