SciNetwork

Ключевая фраза: DEDUCTIVE VERIFICATION

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «DEDUCTIVE VERIFICATION».
Статьи: 1
01.ЛОГИКА ДЛЯ СУЖДЕНИЙ ОБ ОШИБКАХ В ЦИКЛАХ НАД ПОСЛЕДОВАТЕЛЬНОСТЯМИ ДАННЫХ (IFIL) (2023)
Сохранить в закладках
Журнал:
МОДЕЛИРОВАНИЕ И АНАЛИЗ ИНФОРМАЦИОННЫХ СИСТЕМ
Автор(ы):
Кондратьев Д. А.
SciNetwork