Normal view
MARC view
- Акад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел.
Акад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел. (Corporate Name)
Machine generated authority record.
Work cat.: (Ge_NSL)189818: Алгорифм машинного поиска естественного логического вывода в иссилении высказываний /