A Natural Proof System for Natural Language

Lasha Abzianidze

Research output: ThesisDoctoral Thesis

573 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