Аверин Андрей Игоревич

Публикации в базе данных Math-Net.Ru

1. Параллелизм в дедуктивном выводе на графовых структурах
   
   Автомат. и телемех., 2001, № 10,  54–64