Результаты

1. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом

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

2. Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols

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

3. Algorithms of Isomorphism of Elementary Conjunctions Checking

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

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