Machinale verificatie van redeneringen : een beschrijving van het Automath project

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    25 Downloads (Pure)
    Original languageDutch
    Title of host publicationBewijzen in de wiskunde / onder red. van P.W.H. Lemmens
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Pages61-80
    ISBN (Print)90-6196-373-7
    Publication statusPublished - 1989

    Publication series

    NameCWI syllabus
    Number24

    Cite this

    Bruijn, de, N. G. (1989). Machinale verificatie van redeneringen : een beschrijving van het Automath project. In Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens (pp. 61-80). (CWI syllabus; No. 24). Amsterdam: Centrum voor Wiskunde en Informatica.
    Bruijn, de, N.G. / Machinale verificatie van redeneringen : een beschrijving van het Automath project. Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens. Amsterdam : Centrum voor Wiskunde en Informatica, 1989. pp. 61-80 (CWI syllabus; 24).
    @inbook{2eeabaeb342f447d9872f30464282e4c,
    title = "Machinale verificatie van redeneringen : een beschrijving van het Automath project",
    author = "{Bruijn, de}, N.G.",
    year = "1989",
    language = "Nederlands",
    isbn = "90-6196-373-7",
    series = "CWI syllabus",
    publisher = "Centrum voor Wiskunde en Informatica",
    number = "24",
    pages = "61--80",
    booktitle = "Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens",

    }

    Bruijn, de, NG 1989, Machinale verificatie van redeneringen : een beschrijving van het Automath project. in Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens. CWI syllabus, no. 24, Centrum voor Wiskunde en Informatica, Amsterdam, pp. 61-80.

    Machinale verificatie van redeneringen : een beschrijving van het Automath project. / Bruijn, de, N.G.

    Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens. Amsterdam : Centrum voor Wiskunde en Informatica, 1989. p. 61-80 (CWI syllabus; No. 24).

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    TY - CHAP

    T1 - Machinale verificatie van redeneringen : een beschrijving van het Automath project

    AU - Bruijn, de, N.G.

    PY - 1989

    Y1 - 1989

    M3 - Hoofdstuk

    SN - 90-6196-373-7

    T3 - CWI syllabus

    SP - 61

    EP - 80

    BT - Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens

    PB - Centrum voor Wiskunde en Informatica

    CY - Amsterdam

    ER -

    Bruijn, de NG. Machinale verificatie van redeneringen : een beschrijving van het Automath project. In Bewijzen in de wiskunde / onder red. van P.W.H. Lemmens. Amsterdam: Centrum voor Wiskunde en Informatica. 1989. p. 61-80. (CWI syllabus; 24).