在您的搜尋 主題建議
Showing 1 - 7 results of 7 for search '"Combinatory logic"', 查詢時間: 0.01s Refine Results
  1. 1
    Combinatory logic
    圖書
    主題: “...Combinatory logic....”
    加到收藏夾
    Saved in:
  2. 2
    Recursive programming techniques /
    圖書
    由 Burge, William H.
    出版 1975
    主題: “...Combinatory logic....”
    加到收藏夾
    Saved in:
  3. 3
    Combinators, -terms and proof theory.
    Thesis 圖書
    由 Stenlund, Soren
    出版 1972
    主題: “...Combinatory logic....”
    加到收藏夾
    Saved in:
  4. 4
    Lambda calculus and computer science theory.
    圖書
    出版 1984
    主題: “...Combinatory logic....”
    加到收藏夾
    Saved in:
  5. 5
    Combinatory reduction systems /
    Thesis 圖書
    由 Klop, J. W.
    出版 1980
    主題: “...Combinatory logic....”
    加到收藏夾
    Saved in:
  6. 6
    Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
    Conference Proceeding 圖書
    出版 1986
    主題: “...Combinatory logic Congresses....”
    加到收藏夾
    Saved in:
  7. 7
    [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
    圖書
    出版 1975
    主題: “...Combinatory logic Congresses....”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索