Ցուցադրվում են 1 - 3 արդյունքները 3 այս փնտրման համար 'Маслов, С.Ю', հարցման ժամանակը: 0.09s Հստակեցնել արդյունքները
  1. 1
    Вычислимость : Введение в теорию рекурсивных функций /
    Катленд, Найджел
    Հրապարակվել է 1983
    Այլ հեղինակներ: “…Маслов, С.Ю…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Исследования по теории доказательств : Сборник статей /
    Крайзель, Г.
    Հրապարակվել է 1981
    Այլ հեղինակներ: “…Маслов, С.Ю…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Математическая логика и автоматическое доказательство теорем : Пер. с англ. /
    Чень, Ч.
    Հրապարակվել է 1983
    Այլ հեղինակներ: “…Маслов, С.Ю…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը