Résolution d'un paradoxe en logique de croyance et de connaissance

  • Laurent Simon

    Student thesis: Master types › Master in Computer science

    Date of Award1998
    Original languageFrench
    SupervisorPierre Yves Schobbens (Supervisor)

    Cite this

    Documents

    '