検索結果

関連のトピックス ...
  • 検索結果 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
    図書

    お気に入りに追加
    保存先:

検索ツール: