Ambos-Spies K.,Badaev S.A., Goncharov S.S.


Ambos-Spies K.,Badaev S.A., Goncharov S.S.
[2008]
Inductive inference and computable numberings
Mathematical Structures in Computer Science, Cambridge Press, to appear
article

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