C-CoRN, the Constructive Coq Repository at Nijmegen

L. Cruz-Filipe, J.H. Geuvers, F. Wiedijk

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

    Originele taal-2Engels
    TitelMathematical Knowledge Management (Proceedings Third International Conference, MKM2004, Bialowieza, Poland, September 19-21, 2004)
    RedacteurenA. Asperti, G. Bancerek, A. Trybulec
    UitgeverijSpringer
    Pagina's88-103
    ISBN van geprinte versie978-3-540-23029-8
    StatusGepubliceerd - 2001

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume3119
    ISSN van geprinte versie0302-9743

    Citeer dit