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