Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ : Сб. науч. тр.

1983

98 с.

Главная · Поиск · Карта рубрик · Заказ копий