A Natural Proof System for Natural Language

Lasha Abzianidze

Research output: Thesis › Doctoral Thesis › Scientific

507 Downloads (Pure)

Original language	English
Qualification	Doctor 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 date	20 Jan 2017
Place of Publication	Ridderkerk
Publisher	Ridderprint
Print ISBNs	9789462994942
Publication status	Published - 2017

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.

Ridderkerk : Ridderprint, 2017. 210 p.

Research output: Thesis › Doctoral Thesis › Scientific

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.