Looking for busy beavers. A socio-philosophical study of a computer-assisted proof
| Title | Looking for busy beavers. A socio-philosophical study of a computer-assisted proof |
| Publication Type | Book Chapter (with title) |
| Authors | De Mol, L |
| Secondary Authors | François, K, Löwe, B, Müller, T, Van Kerkhove, B |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):