Search: Towards Computer Aided Mathematics
2006
[1]Editorial: Towards Computer Aided Mathematics (Christoph Benzmüller), In Journal of Applied Logic, volume 4, number 4, pp. 359-365, 2006. (Preprint: http://christoph-benzmueller.de/papers/J13.pdf) [bibtex] [doi]
Powered by bibtexbrowser