Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of Bonn - Maths24 - Document - PDFSEARCH.IO

First Page	Meta Content
	Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of Bonn Add to Reading List Document Date: 2016-08-01 05:50:10 Open Document File Size: 250,02 KB Share Result on Facebook

Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of BonnAdd to Reading List