RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Николенко А Б
Публикации в базе данных Math-Net.Ru
Метод инвариантных преобразований и логический вывод
Матем. заметки
,
36
:1 (1984),
3–15
©
МИАН
, 2024
