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. [bibtex] [pdf] [doi]
Powered by bibtexbrowser