Результаты

  1. Algorithms of Isomorphism of Elementary Conjunctions Checking

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  2. Algorithms for Checking Isomorphism of Two Elementary Conjunctiоns

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  3. Представление степени совпадения входных строк с общим свойством модальными операторами и в трехзначной логике Лукасевича

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийтезисы в сборнике материалов конференциинаучнаяРецензирование

Просмотреть все (3) »

Деятельность

  1. Algorithm for extraction common properties of objects described in the predicate calculus language with several predicate symbols

    Деятельность: Выступление на научной конференциивыступление с устным докладом

Просмотреть все (1) »

ID: 85127545