Resultados de búsqueda

  • Mostrando 1 - 8 Resultados de 8
Limitar resultados
  1. 1

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

    Publicado 1975
    Libro
  2. 2

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

    Publicado 1965
    Libro
  3. 3

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

    Publicado 1969
    Libro
  4. 4

    Logic, computers, and sets por Wang, Hao

    Publicado 1970
    Libro
  5. 5

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

    Publicado 1995
    Libro
  6. 6

    Computability and unsolvability por Davis, Martin

    Publicado 1982
    Libro
  7. 7

    La inteligencia artificial por Haugeland, John

    Publicado 1988
    Libro
  8. 8

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

    Publicado 1967
    Libro