Search: Organisation, Transformation, And Propagation Of Mathematical

2008 | |

[1] | Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega , In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi] |

Powered by bibtexbrowser