书籍
书籍用户帮助圈子
全部标签

Λ-演算

  • Λ-演算的语法和语义

    Λ-演算的语法和语义

    PDF扫描版 / （荷兰）H.P.巴伦德莱赫特（h.P.Barendregt）著；朱一清译 / 南京大学出版社 / 1992-09 / 《Λ-演算的语法和语义》是由荷兰著名逻辑学家H.P.巴伦德莱赫特所著，朱一清翻译的一本关于Λ-演算的经典著作。本书详细介绍了Λ-演算的基本概念、语法规则以及语义解释，是计算机科学和数理逻辑领域的重要参考书籍。
    图书
    • 1
    • 0
❯

提升下载权限

赞助我们

提升下载次数至100次/天

了解详情
个人中心
今日签到
有新私信 私信列表
搜索
客服

  • 扫码打开当前页

返回顶部