Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) (Q306278)

From MaRDI portal
Revision as of 12:41, 12 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
scientific article

    Statements

    title
    Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) (English)
    0 references
    author
    James Harland
    0 references
    publication date
    31 August 2016
    0 references
    zbMATH DE Number
    6620950
    0 references
    zbMATH Keywords
    busy beaver
    0 references
    Turing machines
    0 references
    placid platypus
    0 references
    describes a project that uses
    Flyspeck
    0 references
    kepler98
    0 references
    OpenAlex ID
    W2261544458
    0 references
    Wikidata QID
    Q115046237
    0 references
    arXiv ID
    1602.03228
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q306278&oldid=36270091"
    Powered by MediaWiki