TY  - JOUR
AU  - V. D. Solov'ev
TI  - Computability by nondeterministic program and the Moschovakis search computability
JO  - Matematičeskie zametki
PY  - 1994
SP  - 149
EP  - 152
VL  - 56
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1994_56_1_a17/
LA  - ru
ID  - MZM_1994_56_1_a17
ER  -