Search: Organisation, Transformation, And Propagation Of Mathematical
2008
[1] Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner), In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi]
Powered by bibtexbrowser