![](https://www.pdfsearch.io/img/7cfc69dd9d7e12820215bb775047736d.jpg) Date: 2018-04-03 08:59:44
| | Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018Add to Reading ListSource URL: cl-informatik.uibk.ac.atDownload Document from Source Website File Size: 871,10 KBShare Document on Facebook
|