Քո փնտրումը վերադարձրեց 7 արդյունք։

Արդյունքներ
		Recursively enumerable sets and degrees : A study of computable functions and computably generated sets / Robert I. Soare. Soare, Robert Irving, 1940- Մատենաշար։ Perspectives in mathematical logic Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1987 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/7201. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Computability / Klaus Weihrauch. Weihrauch, Klaus, 1943- Մատենաշար։ EATCS monographs on theoretical computer science ; Vol. 9 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1987 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/6881. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		An introduction to the general theory of algorithms / Michael Machtey, Paul Young. Machtey, Michael Young, Paul, 1936- Մատենաշար։ Theory of computation series Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : North-Holland, 1978 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5204. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Computations in higher types / Johan Moldestad. Moldestad, Johan, 1946- Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 574. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1977 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5170. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Set theory and hierarchy theory : A memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [Proceedings] / Ed. by W. Marek, M. Srebrny, A. Zarach. Conference on Set Theory and Hierarchy Theory (2nd : 1975 : Bierutowice, Poland) Marek, Wiktor [edt] Srebrny, Marian, 1947- [edt] Zarach, Andrzej, 1948- [edt] Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 537. Նյութի տեսակ։ Տեքստ հոբելյանական հրատարակություն ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1976 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/4197. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einfuhrung in die Theorie der rekursiven Funktionen / Hans Hermes. Hermes, Hans Մատենաշար։ Heidelberger Taschenbucher ; Bd. 87 Հրատարակություն։ 2. Aufl. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1971 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 517.5 H-57. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Recursive equivalence types / by J. C. E. Dekker and J. Myhill. Dekker, J. C. E, 1921- Myhill, John Մատենաշար։ University of California publications in mathematics ; v. 3, no. 3 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berkeley ; Los Angeles : University of California Press, 1960 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 06 C-25. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

Հայաստանի ազգային գրադարան ՀՀ, 0009,Երևան, Տերյան 72 Հետադարձ կապ

Ուղեկցվում է Կոհա