Risultati della ricerca

  1. 1

    Вып. 161 : Обобщенная вычислимость и определимость

    Pubblicazione 1998
    Libro
  2. 2

    Вычислимое и невычислимое di Манин Ю. И. Юрий Иванович

    Pubblicazione Москва, Сов. радио, 1980
    Libro
  3. 3

    Теория алгоритмов учебник di Матрос Д. Ш. Дмитрий Шаевич

    Pubblicazione Москва, БИНОМ. Лаборатория знаний, 2008
    Libro
  4. 4

    Сложносистемное мышление. Материя, разум, человечество: новый синтез пер. с англ. di Майнцер К. Клаус

    Pubblicazione Москва, URSS, 2009
    Libro
  5. 5

    Интуиция и математика di Босс В.

    Pubblicazione Москва, Едиториал УРСС, 2008
    Libro
  6. 6

    Математическая логика учебное пособие для вузов di Ершов Ю. Л. Юрий Леонидович

    Pubblicazione Москва, Физматлит, 2011
    Libro
  7. 7

    Определимость и вычислимость di Ершов Ю. Л. Юрий Леонидович

    Pubblicazione Москва, Экономика, 2000
    Libro
  8. 8

    Вычислимо перечислимые множества и степени пер. с англ. di Соар Р. И. Роберт И.

    Pubblicazione Казань, Казанское математическое общество, 2000
    Libro
  9. 9

    Конструктивные модели di Гончаров С. С. Сергей Савостьянович

    Pubblicazione Новосибирск, Научная книга, 1999
    Libro
  10. 10

    Вычислительные инварианты в теории алгебраических систем сборник научных статей

    Pubblicazione Новосибирск, Изд-во ВЦ СО АН СССР, 1987
    Libro
  11. 11

    Вычислимость. Введение в теорию рекурсивных функций пер. с англ. di Катленд Н. Найджел

    Pubblicazione Москва, Мир, 1983
    Libro
  12. 12

    Вып. 19

    Pubblicazione Москва, Изд-во ВИНИТИ, 1982
    Libro
  13. 13

    Лекции по математической логике и теории алгоритмов di Верещагин Н. К

    Pubblicazione Москва, МЦНМО, 1999
    Libro
  14. 14

    Математическая логика пер. с англ. di Клини С. К. Стефан Коул

    Pubblicazione Москва, Мир, 1973
    Libro
  15. 15

    Современная прикладная алгебра пер. с англ. di Биркгоф Г.

    Pubblicazione Москва, Мир, 1976
    Libro
  16. 16

    Вып. 169 : Математические модели в информатике

    Pubblicazione 2002
    Libro
  17. 17

    Вып. 170 : Методологические аспекты когнитивных процессов

    Pubblicazione 2002
    Libro
  18. 18

    Программирование. Математические основы, средства, теория учебное пособие di Лавров С. С. Святослав Сергеевич

    Pubblicazione СПб., БХВ-Петербург, 2001
    Libro
  19. 19

    Вып. 11

    Pubblicazione 2002
    Libro
  20. 20

    Общая теория систем: математические основы пер. с англ. di Месарович М.

    Pubblicazione Москва, Мир, 1978
    Libro