نتائج البحث

  • يعرض 1 - 8 نتائج من 8
تنقيح النتائج
  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
    كتاب