![Mathematics / Lemmas / Mathematical proof Mathematics / Lemmas / Mathematical proof](https://www.pdfsearch.io/img/bf649fe9972c575f8fdfc54afe5cdf39.jpg) Date: 2016-05-20 11:29:27Mathematics Lemmas Mathematical proof | | A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UKAdd to Reading ListSource URL: wiki.event-b.orgDownload Document from Source Website File Size: 71,55 KBShare Document on Facebook
|