Конференция
On pairs of wreath products of groups generating equal varieties
Публикации
Конференция
Interval Edge-Colorings of Graphs: Variations and Generalizations
Конференция
The Usage of Lines in GCn-Sets
Конференция
On the set of solutions of polynomial systems
Конференция
On the proof complexity in two universal proof system for all versions of many-valued logics
Конференция
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
Конференция
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Конференция
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
Конференция
Распределение учебной нагрузки кафедры с использованием методов нечеткой логики
Конференция
Նեյրոնային ցանցերի տոպոլոգիայի օպտիմալացում գենետիկ ալգորիթմի միջոցով
Конференция
РАСПРОСТРАНЕНИЕ УПРУГО-СПИНОВЫХ ВОЛН В СОСТАВНОЙ ФЕРРОМАГНИТНОЙ СТРУКТУРЕ С ПОЛУБЕСКОНЕЧНОЙ ТРЕЩИНОЙ
Конференция
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
Конференция
On non-monotonous properties of some propositional proof systems
Конференция
Comparison of two propositional proof systems by lines and by sizes
Конференция
Генетический алгоритм для построения ффективных сценариев обучения в системах электронного обучения
Конференция
Использование методов Data Mining для построения нечетких экспертных систем
Конференция
Вложения счетных групп, задаваемые универсальными словами в свободной группе
Конференция
Ինֆորմատիկա և կիրառական մաթեմատիկա "ԻԿՄ 50"
Конференция
Constructive embeddings of recursively presented groups using H-machines
Патент
Error Determination from Logs
