ამოხსნადობის პრობლემა ურანგო წინადადებათა ლოგიკისათვის

ავტორი: lali tibua
თანაავტორები: ხიმური რუხაია
საკვანძო სიტყვები: ურანგო თეორია, ფორმულათა კლასიფიკაცია, პროცესის წარმართველი ოპერატორი
ანოტაცია:

აგებულია ურანგო წინადადებათა ფორმულათა კლასიფიკაციის ალგორითმი.ურანგო წინადადებათა ლოგიკის ფორმულები განიხილება როგორც ალგორითმული პროცესები.

მიმაგრებული ფაილები:

lali-tibua-ENG [en]
lali-tibua-GEO [ka]