A Natural Tableau System for a Natural Language

  • Lasha Abzianidze (Speaker)

    Activiteit: Professional or public presentationProfessional

    Periode7-sep-2018
    EvenementstitelWorkshop on Proof Theory and its Applications
    EvenementstypeWorkshop
    LocatieGhent, Belgium
    Mate van erkenningInternational