ამ ეგზემპლარზე გადასასვლელად გამოიყენეთ ეს იდენტიფიკატორი:
https://dspace.nplg.gov.ge/handle/1234/276007| სათაური: | თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში |
| ავტორები: | კურტანიძე, ლია |
| საკვანძო სიტყვები: | თეორემათა მტკიცების მეთოდები ლოგიკა |
| გამოცემის თარიღი: | 2018 |
| გამომცემელი: | თბილისი |
| მფლობელი: | საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა |
| შესულია კოლექციებში: | ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი |
ფაილები ამ ეგზემპლარში:
| ფაილი | აღწერილობა | ზომა | ფორმატი | |
|---|---|---|---|---|
| Disertacia.pdf | 614.24 kB | Adobe PDF |  ნახვა / გახსნა |
საავტორო უფლება