Результаты поиска

Предлагаемые темы внутри своего поиска.
  • Отображение 1 - 8 результаты of 8
Отмена результатов
  1. 1
    Значок книги

    An algebraic introduction to mathematical logic по Barnes, Donald W, Mack, John M

    Опубликовано 1975
    ‌

    Добавить в Избранное
    Сохранить в:
  2. 2
    Значок книги

    Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications

    Опубликовано 1965
    ‌

    Добавить в Избранное
    Сохранить в:
  3. 3
    Значок книги

    Enumerability, decidability, computability: an introduction to the theory of recursive functions по Hermes, Hans

    Опубликовано 1969
    ‌

    Добавить в Избранное
    Сохранить в:
  4. 4
    Значок книги

    Logic, computers, and sets по Wang, Hao

    Опубликовано 1970
    ‌

    Добавить в Избранное
    Сохранить в:
  5. 5
    Значок книги

    Teoría de autómatas y lenguajes formales по Kelley, Dean

    Опубликовано 1995
    ‌

    Добавить в Избранное
    Сохранить в:
  6. 6
    Значок книги

    Computability and unsolvability по Davis, Martin

    Опубликовано 1982
    ‌

    Добавить в Избранное
    Сохранить в:
  7. 7
    Значок книги

    La inteligencia artificial по Haugeland, John

    Опубликовано 1988
    ‌

    Добавить в Избранное
    Сохранить в:
  8. 8
    Значок книги

    Introducción a la teoría matemática de las computadoras y de la programación по Trajtenbrot, B. A

    Опубликовано 1967
    ‌

    Добавить в Избранное
    Сохранить в:

Инструменты поиска: