Logic Tea (ILLC)

F. Dechesne (Speaker)

    Activity: Talk or presentation typesOral presentationScientific

    Description

    IF-logic and the art of theorem reparation
    Period1 Apr 2004
    Held atLogic Tea (ILLC)
    Event typeOther
    LocationUniversiteit van Amsterdam