Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№2
Ожидается:
16 Июня 2024
Еловков Д.Д.
()
Автор статей:
- Общая схема верификации утверждений Р-логики с неизвестными параметрами
- Ослабление утверждений корректности аргументов функции Соавторы статьи: Сергеев С.Л.