অনুসন্ধান ফলাফলগুলি

  1. 1

    Математическая логика учебное пособие অনুযায়ী Ершов Ю. Л. Юрий Леонидович

    প্রকাশিত СПб., Лань, 2005
    গ্রন্থ
  2. 2

    Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ. অনুযায়ী Клини С. К. Стефен Коул

    প্রকাশিত Москва, Наука, 1978
    গ্রন্থ
  3. 3

    Введение в метаматематику пер. с англ. অনুযায়ী Клини С. К. Стефен К.

    প্রকাশিত Москва, Изд-во иностранной литературы, 1957
    গ্রন্থ
  4. 4

    Вычислимое и невычислимое অনুযায়ী Манин Ю. И. Юрий Иванович

    প্রকাশিত Москва, Сов. радио, 1980
    গ্রন্থ
  5. 5

    Математическая логика и теория алгоритмов учебное пособие অনুযায়ী Игошин В. И. Владимир Иванович

    প্রকাশিত Москва, Академия, 2008
    গ্রন্থ
  6. 6

    Теория алгоритмов учебник অনুযায়ী Матрос Д. Ш. Дмитрий Шаевич

    প্রকাশিত Москва, БИНОМ. Лаборатория знаний, 2008
    গ্রন্থ
  7. 7

    Теория алгоритмов учебное пособие для вузов অনুযায়ী Крупский В. Н. Владимир Николаевич

    প্রকাশিত Москва, Академия, 2009
    গ্রন্থ
  8. 8

    Логические и математические исчисления учебное пособие অনুযায়ী Шиханович Ю. А. Юрий Александрович

    প্রকাশিত Москва, Научный мир, 2011
    গ্রন্থ
  9. 9

    Математическая логика и теория алгоритмов учебное пособие অনুযায়ী Крупский В. Н. Владимир Николаевич

    প্রকাশিত Москва, Академия, 2013
    গ্রন্থ
  10. 10

    Локальная теория степеней неразрешимости অনুযায়ী Арсланов М. М. Марат Мирзаевич

    প্রকাশিত Казань, Изд-во Казанского ун-та, 1987
    গ্রন্থ
  11. 11

    Теория алгоритмов учебное пособие для вузов অনুযায়ী Игошин В. И. Владимир Иванович

    প্রকাশিত Москва, Инфра-М, 2015
    গ্রন্থ
  12. 12

    Рекурсивно перечислимые множества и степени неразрешимости অনুযায়ী Арсланов М. М. Марат Мирзаевич

    প্রকাশিত Казань, Изд-во Казанского ун-та, 1986
    গ্রন্থ
  13. 13

    Т. 2 [сборник]

    প্রকাশিত 1976
    গ্রন্থ
  14. 14

    Алгоритмы и формальные системы учебное пособие অনুযায়ী Лисовик Л. П. Леонид Петрович

    প্রকাশিত Киев, Изд-во КГУ, 1981
    গ্রন্থ
  15. 15

    Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов

    প্রকাশিত Калинин, Изд-во Калининского гос. ун-та, 1983
    গ্রন্থ
  16. 16

    Алгоритмы в современной математике и ее приложениях материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]...

    প্রকাশিত Новосибирск, Изд-во СО АН СССР, 1982
    গ্রন্থ
  17. 17

    Теория формальных систем пер. с англ. অনুযায়ী Смальян Р. Раймонд

    প্রকাশিত Москва, Наука, 1981
    গ্রন্থ
  18. 18

    Степени неразрешимости пер. с англ. অনুযায়ী Шенфилд Дж. Джозеф

    প্রকাশিত Москва, Наука, 1977
    গ্রন্থ
  19. 19

    Перечислимые множества учебное пособие অনুযায়ী Дегтев А. Н. Александр Николаевич

    প্রকাশিত Новосибирск, Изд-во НГУ, 1980
    গ্রন্থ
  20. 20

    Алгоритмы и рекурсивные функции অনুযায়ী Мальцев А. И. Анатолий Иванович

    প্রকাশিত Москва, Наука, 1986
    গ্রন্থ