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