N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352)

From MaRDI portal
Revision as of 05:23, 6 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
N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
scientific article

    Statements

    title
    N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (English)
    0 references
    author
    Francien Dechesne
    0 references
    Rob Nederpelt
    0 references
    publication date
    15 February 2013
    0 references
    Mathematics Subject Classification ID
    01A70
    0 references
    01A60
    0 references
    68-03
    0 references
    zbMATH DE Number
    6136583
    0 references
    describes a project that uses
    Isabelle
    0 references
    ML
    0 references
    HOL
    0 references
    Coq
    0 references
    Automath
    0 references
    OpenAlex ID
    W2106831151
    0 references
    cites work
    Q2751370
    0 references
    Q4122841
    0 references
    Q5650683
    0 references
    Q4175528
    0 references
    Q4519579
    0 references
    Q2889489
    0 references
    Q5287513
    0 references
    Q5795193
    0 references
    Q3999860
    0 references
    Q3250680
    0 references
    Q5786798
    0 references
    Q5797130
    0 references
    Q5804302
    0 references
    Q3251603
    0 references
    Q3254323
    0 references
    Q5686521
    0 references
    Q4087300
    0 references
    Q3905310
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1935352&oldid=35321774"
    Powered by MediaWiki