Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018 - Coq - Document - PDFSEARCH.IO

First Page	Meta Content
	Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018 Add to Reading List Document Date: 2018-04-03 08:59:44 Open Document File Size: 871,10 KB Share Result on Facebook

Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018Add to Reading List