网站首页  词典首页

请输入您要查询的英文单词:

 

单词 natural deduction theorem proving
释义

natural deduction theorem proving

  • 网络自然演绎法定理证明
1.
自然演绎法定理证明
... natural deduction 自然演绎 (法 ) natural deduction theorem proving 自然演绎法定理证明 natural defect 自然缺陷 ...
mapeng.net

例句

随便看

 

英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/27 23:37:59