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