Матэнциклопедия Персона

Шанин Н. А.

http://libmeta.ru/resource/mathenc/author/a1112

Входящие связи

← автор · 6

и др., Алгорифм машинного поиска естественного логического вывода в исчислении … О произведении топологических пространств, М.- Л "Тр. Матем. ин-та АН СССР" "Тр. матем. ин-та АН СССР" "Тр. матем. ин-та АН СССР" "Тр. матем. ин-та АН СССР"