תוצאות חיפוש

  • Showing 1 - 8 results of 8
Refine Results
  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
    ספר