A Natural Proof System for Natural Language

Lasha Abzianidze

    Research output: ThesisDoctoral Thesis

    2147 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Tilburg University
    Supervisors/Advisors
    • Sprenger, Jan, Promotor
    • Muskens, Reinhard, Co-promotor
    • de Groote, Ph., Member PhD commission, External person
    • Moot, R., Member PhD commission, External person
    • Moss, L.S., Member PhD commission, External person
    • Winter, Y., Member PhD commission, External person
    Award date20 Jan 2017
    Place of PublicationRidderkerk
    Publisher
    Print ISBNs9789462994942
    Publication statusPublished - 2017

    Cite this