Водомеров Александр Николаевич

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

1. Построение формальной модели Т-системы и исследование ее корректности
   
   Выч. мет. программирование, 7:3 (2006),  71–78