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