ka | en
![TSU2013](http://conference.ens-2013.tsu.ge/media/images/Tsu_old.jpg)
ამოხსნადობის პრობლემა ურანგო წინადადებათა ლოგიკისათვის
ავტორი: lali tibuaთანაავტორები: ხიმური რუხაია
საკვანძო სიტყვები: ურანგო თეორია, ფორმულათა კლასიფიკაცია, პროცესის წარმართველი ოპერატორი
ანოტაცია:
აგებულია ურანგო წინადადებათა ფორმულათა კლასიფიკაციის ალგორითმი.ურანგო წინადადებათა ლოგიკის ფორმულები განიხილება როგორც ალგორითმული პროცესები.
მიმაგრებული ფაილები:
lali-tibua-ENG [en]lali-tibua-GEO [ka]