Content deleted Content added
m Removing link(s): Wikipedia:Articles for deletion/ProofWiki closed as delete (XFDcloser) |
m Open access bot: add arxiv identifier to citation with #oabot. |
||
Line 74:
| title = Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of the International Conference on Intelligent Computer Mathematics (CICM 2013), Bath, UK, July 8-12, 2013, Proceedings
| volume = 7961
| year = 2013
}}
== External links ==
| |||