请输入您要查询的字词:
单词
断言
释义
断言
Encyclopedia
理学
程序正确性
释
assertion
断言
通常指系统状态需要满足的谓词(常表示为谓词公式)。
Mathematics
assertion
论断
†
,断言,断定
claim
断言
Computer
人工智能
自动推理
释文
assertion
断言
随便看
贝恩-西洛斯假设
贝恩,A.
贝恩,G.
贝扎人
贝扎伊,B.
贝托基,C.
贝托莱体
贝托莱,C.-L.
贝托鲁奇,A.
贝托鲁奇,B.
贝拉
贝拉基主义
贝拉尔德,R.L.
贝拉文学奖
贝拉斯克斯,D.
贝拉斯科·阿尔瓦拉多,J.
贝拉斯科,D.
贝拉斯科,J.M.de
贝拉维蒂斯
贝拉,R.N.
贝文,E.
贝斯特
贝斯特里茨卡娅,E.
贝斯达开放获取出版宣言
贝斯-魏茨泽克循环
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/2/15 22:59:34