请输入您要查询的字词:
单词
一阶谓词演算语义
释义
一阶谓词演算语义
Encyclopedia
文学
一阶谓词演算
释
semantics of first order predicate calculus
一阶谓词演算语义
借助于一阶谓词演算知识库与这个知识库所模拟的外部世界中的客体、性质和关系而获得的关于这些客体、性质和关系的语义。
随便看
急性毒性
急性毒性试验
急性气管-支气管炎
急性淋巴管炎
急性淋巴细胞白血病
急性照射
急性牙髓炎
急性疼痛服务
急性疼痛治疗方法
急性病证
急性白血病的微小残留病
急性短暂性精神病性障碍
急性移植物抗宿主病
急性等容血液稀释
急性糜烂性胃炎
急性红白血病
急性细菌性前列腺炎
急性细菌性膀胱炎
急性肝衰竭
急性肠系膜缺血症
急性肺损伤
急性肾小球肾炎
急性肾小管坏死
急性肾损伤
急性肾盂肾炎
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/5/22 23:00:22