scientific article; zbMATH DE number 6139972
From MaRDI portal
Publication:4906868
zbMath1275.03022MaRDI QIDQ4906868
Publication date: 28 February 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35)
Related Items
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) ⋮ Generating candidate busy beaver machines (or how to build the zany zoo)