A Natural Proof System for Natural Language

Lasha Abzianidze

Research output: ThesisDoctoral ThesisScientific

484 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

Abzianidze, L. (2017). A Natural Proof System for Natural Language. Ridderkerk: Ridderprint.
Abzianidze, Lasha. / A Natural Proof System for Natural Language. Ridderkerk : Ridderprint, 2017. 210 p.
@phdthesis{ccf0524fca614fe2afaa5e51a6eb607f,
title = "A Natural Proof System for Natural Language",
author = "Lasha Abzianidze",
year = "2017",
language = "English",
isbn = "9789462994942",
publisher = "Ridderprint",
school = "Tilburg University",

}

Abzianidze, L 2017, 'A Natural Proof System for Natural Language', Doctor of Philosophy, Tilburg University, Ridderkerk.

A Natural Proof System for Natural Language. / Abzianidze, Lasha.

Ridderkerk : Ridderprint, 2017. 210 p.

Research output: ThesisDoctoral ThesisScientific

TY - THES

T1 - A Natural Proof System for Natural Language

AU - Abzianidze, Lasha

PY - 2017

Y1 - 2017

M3 - Doctoral Thesis

SN - 9789462994942

PB - Ridderprint

CY - Ridderkerk

ER -

Abzianidze L. A Natural Proof System for Natural Language. Ridderkerk: Ridderprint, 2017. 210 p.