中英▼
go top

types for proofs and programs

网络释义

  证明与程序的类型

Genetic Programming遗传法编程 Types for Proofs and Programs证明与程序的类型 Computational Linguistics and Intelligent Text Processing计算语言学和智能文本处理 ..

基于18个网页-相关网页

有道翻译

types for proofs and programs

证明和程序的类型

以上为机器翻译结果，长、整句建议使用 人工翻译 。

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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