Эпистемологический статус компьютерных теорем

Москва

134 стр.

Эпистемологический статус компьютерных теорем — Знатнов, Сергей Юрьевич — 2000 — Российская библиотека диссертаций