|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2014 |
1. |
Г. А. Чистяков, “Формирование контрпримера при верификации алгоритмов с помощью методов логического вывода”, Вестн. Астрахан. гос. техн. ун-та. Сер. управление, вычисл. техн. информ., 2014, № 3, 50–57 |
|