3 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 3 из 3 для поиска: '', время запроса: 0.04сек.
   Выбранные записи:
Значок книги
Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Герасимов Александр Сергеевич. - Санкт-Петербург, 2007. - 15 с.
Автор Герасимов, А. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Развитие многозначной логики / А. С. Карпенко. - Изд. стереотипное. - Москва : URSS, ЛКИ, 2016. - 444 с.
Автор Карпенко, А. С. (род. 1946)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Формальные исчисления и аксиоматические системы в неклассических логиках: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.09 Математическая кибернетика и математическая логика / Болибекян Оганес Рафаелович. - Ереван, 2002. - 15 с., включая обложку
Автор Болибекян, О. Р.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

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

Опции поиска

  • История поисков
  • Расширенный поиск (каталог НББ)
  • Новые документы НББ

Нужна справка? Она ниже. Помощь

  • Советы для поиска
  • Обратитесь к библиотекарю
  • Помощь по работе в Электронном каталоге
  • Видеоурок: Поиск по фондам библиотеки
Загрузка...