Средства логического вывода в системах аналитических вычислений

Киев

140 стр.