Original language | English |
---|---|
Qualification | Doctor of Philosophy |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 20 Jan 2017 |
Place of Publication | Ridderkerk |
Publisher | |
Print ISBNs | 9789462994942 |
Publication status | Published - 2017 |
A Natural Proof System for Natural Language
Lasha Abzianidze
Research output: Thesis › Doctoral Thesis
978
Downloads
(Pure)