Библиография Лаврова И.А.


Семенов А.Л.
[1986]
Разрешающие алгоритмы для логических теорий
Кибернет. и вычислит. тех., М., в.2, 134-146
86.09.55
статья

Вернуться к поиску