A Natural Tableau System for a Natural Language

Lasha Abzianidze (Speaker)

    Activity: Talk and presentationProfessional or public presentationProfessional

    Period7-Sep-2018
    Event titleWorkshop on Proof Theory and its Applications: null
    Event typeWorkshop
    LocationGhent, Belgium
    Degree of RecognitionInternational