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


Hird G. R.
[1993]
Recursive properties of intervals of recursive linear orders
Progr. Comp. Sci. Appl. Logic, 12, 422-437
?
G
article

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