Авторефераты диссертаций По количеству 5 Книги По количеству 1

Витер, Д. А. По количеству 1 Дробышевич, С. А. По количеству 1 Кощеева, А. К. По количеству 1 Оноприенко, А. А. По количеству 1 Павлов, В. А. По количеству 1 Попов, А. И. (1899—1973) По количеству 1

ИНТУИЦИОНИСТСКАЯ ЛОГИКА МАТЕМАТИЧЕСКАЯ ЛОГИКА По количеству 6 ПРЕДИКАТЫ (мат.) По количеству 2 АВТОМАТИЗИРОВАННЫЙ ПОИСК По количеству 1 АЛГОРИТМОВ ТЕОРИЯ По количеству 1 БУЛЕВА АЛГЕБРА По количеству 1 ГЕЙТИНГА — ОККАМА ЛОГИКА По количеству 1 ДОКАЗАТЕЛЬСТВ ТЕОРИЯ По количеству 1 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ По количеству 1 КОНСТРУКТИВНАЯ МАТЕМАТИКА По количеству 1 ЛОГИКА ВЫСКАЗЫВАНИЙ По количеству 1 ЛОГИЧЕСКИЕ ФОРМАЛИЗМЫ По количеству 1 ЛОГИЧЕСКИЙ ВЫВОД По количеству 1 МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ По количеству 1 МОДАЛЬНАЯ ЛОГИКА По количеству 1 Маслава адваротны метад По количеству 1 Маслова обратный метод По количеству 1 НЕКЛАССИЧЕСКАЯ ЛОГИКА По количеству 1 ОСНОВАНИЯ МАТЕМАТИКИ По количеству 1 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ По количеству 1 РЕКУРСИВНЫЕ ФУНКЦИИ По количеству 1 СЕКВЕНЦИЯ По количеству 1 см. все

Физико-математическое наследие: математика (основания математики и логика) По количеству 1

Москва По количеству 2 Красноярск По количеству 1 М. По количеству 1 Новосибирск По количеству 1 Санкт-Петербург По количеству 1

Русский По количеству 6