Αποτελέσματα αναζήτησης - "MAQUINAS DE TURING"

  • Εμφανίζονται 1 - 8 Αποτελέσματα από 8
Περιορισμός αποτελεσμάτων
  1. 1

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

    Έκδοση 1967
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 503856…”
    Βιβλίο
  2. 2

    Teoría de autómatas y lenguajes formales από Kelley, Dean

    Έκδοση 1995
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 441705…”
    Βιβλίο
  3. 3

    An algebraic introduction to mathematical logic από Barnes, Donald W, Mack, John M

    Έκδοση 1975
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 422087…”
    Βιβλίο
  4. 4

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

    Έκδοση 1965
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 422089…”
    Βιβλίο
  5. 5

    Computability and unsolvability από Davis, Martin

    Έκδοση 1982
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 451757…”
    Βιβλίο
  6. 6

    La inteligencia artificial από Haugeland, John

    Έκδοση 1988
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 454649…”
    Βιβλίο
  7. 7

    Enumerability, decidability, computability: an introduction to the theory of recursive functions από Hermes, Hans

    Έκδοση 1969
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 422099…”
    Βιβλίο
  8. 8

    Logic, computers, and sets από Wang, Hao

    Έκδοση 1970
    Θέματα: “…MAQUINAS DE TURING CL-VaPUC 422112…”
    Βιβλίο