Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Müller, Thomas and First Letter Of Title is L [Clear All Filters]
. 2011. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
