Салбар : Байгалийн шинжлэх ухаан
Төслийн дугаар :
Төслийн төрөл : ШУТ төсөл
Хугацаа: 1997-1999
Санхүүжилт: áàéõã¿é мян.төг
Түлхүүр үг : decidability, localy finitness, алгебраическая система, многообразие, теорема, монойд
Үр дүн
Онолын судалгаа
Удирдагч