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

  • Показ 1 - 8 результатів із 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
    Книга