Библиотека
602
Журналы
12
Организации
Научно-исследовательские
Образовательные
Издательства
Библиотеки
Репозитории
Конференции
Блоги
Сообщество
Поиск людей
Группы
Форум
Формулы
Вход
SciNetwork
Ключевая фраза: АКТИВНАЯ ЛОГИКА
Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «АКТИВНАЯ ЛОГИКА».
Статьи: 1
01.
РАЗРАБОТКА ПРОТОТИПА РЕШАТЕЛЯ ДЛЯ РАСШИРЕННЫХ ШАГОВЫХ ТЕОРИЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ (2022)
Сохранить в закладках
Журнал:
ПРОГРАММНЫЕ ПРОДУКТЫ И СИСТЕМЫ
Автор(ы):
Фоминых И. Б., Фомина М. В., Гулякина Н. А., Кравченко К. С., Алексеев Н. П.
Функция копирования доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция добавления в закладки доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция отправки личных сообщений доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция оценок доступна только для авторизованных пользователей. Зарегистрируйтесь или войдите в свой аккаунт.
Функция добавления в контакты доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.