Resultados da pesquisa

  • A mostrar 1 - 8 resultados de 8
Refinar resultados
  1. 1

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

    Publicado em 1975
    Livro
  2. 2

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

    Publicado em 1965
    Livro
  3. 3

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

    Publicado em 1969
    Livro
  4. 4

    Logic, computers, and sets Por Wang, Hao

    Publicado em 1970
    Livro
  5. 5

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

    Publicado em 1995
    Livro
  6. 6

    Computability and unsolvability Por Davis, Martin

    Publicado em 1982
    Livro
  7. 7

    La inteligencia artificial Por Haugeland, John

    Publicado em 1988
    Livro
  8. 8

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

    Publicado em 1967
    Livro