Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 5 արդյունքները 5 այս փնտրման համար '', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    Recursive analysis.
    Գիրք
    Goodstein, R. L. (Reuben Louis)
    Հրապարակվել է 1961
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1980
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1978
    Պահել ցուցակում
    Պահպանված է:
  4. 4
    First-order dynamic logic /
    Գիրք
    Harel, David, 1950-
    Հրապարակվել է 1979
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1977
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը