RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1972, том 32, страницы 98–104 (Mi znsl2570)
Эта публикация цитируется в 1 статье

Одна специализация формы вывода в генценовских исчислениях и ее приложения

В. П. Оревков




Реферативные базы данных:

© МИАН, 2024