go top

网络释义专业释义

  Logic of Computable Functions

主要的贡献是Robin Milner(1934-2010)的研究成果,包括LCF, Scott 可计算函数逻辑Logic of Computable Functions)的机械化,可能是 第一个基于理论但实用的计算机辅助证明工具;ML,第一个具有多态的类型推演 和具有类型安全异常处理机制的编程...

基于28个网页-相关网页

  • logic of computable functions
    logic for computable function

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 由于在可计算函数逻辑(LCF)、ML并行理论(CCS)三个方面突出完美的贡献。

    Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定