Risultati della ricerca

  • Mostra 1 - 8 risultati su 8
Raffina i risultati
  1. 1

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

    Pubblicazione 1975
    Libro
  2. 2

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

    Pubblicazione 1965
    Libro
  3. 3

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

    Pubblicazione 1969
    Libro
  4. 4

    Logic, computers, and sets di Wang, Hao

    Pubblicazione 1970
    Libro
  5. 5

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

    Pubblicazione 1995
    Libro
  6. 6

    Computability and unsolvability di Davis, Martin

    Pubblicazione 1982
    Libro
  7. 7

    La inteligencia artificial di Haugeland, John

    Pubblicazione 1988
    Libro
  8. 8

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

    Pubblicazione 1967
    Libro