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

First Page		Document Content
Date: 2018-04-03 08:59:44		Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018 Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 871,10 KB Share Document on Facebook