Авторефераты диссертаций 2 results 2 Книги 1 results 1

Болибекян, О. Р. 1 results 1 Герасимов, А. С. 1 results 1 Карпенко, А. С. (род. 1946) 1 results 1

ЛУКАСЕВИЧА ЛОГИКА МАТЕМАТИЧЕСКАЯ ЛОГИКА 3 results 3 МНОГОЗНАЧНАЯ ЛОГИКА 2 results 2 АЛГОРИТМЫ (мат., информатика) 1 results 1 ИСТОРИЯ ЛОГИКИ 1 results 1 КОМПАКТНОСТЬ (мат.) 1 results 1 КОНЕЧНОЗНАЧНАЯ ЛОГИКА 1 results 1 МАТРИЧНАЯ ЛОГИКА 1 results 1 НЕКЛАССИЧЕСКАЯ ЛОГИКА 1 results 1 НЕЧЕТКАЯ ЛОГИКА 1 results 1 ПРЕДИКАТ (логика) 1 results 1 ПРЕДИКАТЫ (мат.) 1 results 1 ПРИКЛАДНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 1 results 1 РЕЗОЛЮЦИЙ МЕТОД 1 results 1 РЕШЕТОК ТЕОРИЯ 1 results 1 СЕКВЕНЦИЯ 1 results 1 ФОРМАЛЬНЫЙ МЕТОД 1 results 1 алгарытм пошуку вываду 1 results 1 алгоритм поиска вывода 1 results 1 трехзначные логики 1 results 1 трохзначныя логікі 1 results 1 см. все

Ереван 1 results 1 Москва 1 results 1 Санкт-Петербург 1 results 1

Русский 3 results 3