请输入您要查询的字词:
单词
semantics of first order predicate calculus
释义
semantics of first order predicate calculus
Encyclopedia
文学
一阶谓词演算
释
semantics of first order predicate calculus
一阶谓词演算语义
借助于一阶谓词演算知识库与这个知识库所模拟的外部世界中的客体、性质和关系而获得的关于这些客体、性质和关系的语义。
随便看
鱼类学
鱼类寄生虫学
鱼类工厂化养殖
鱼类干扰素系统
鱼类干细胞
鱼类年龄
鱼类年龄结构
鱼类年龄结构类型
鱼类年龄鉴定
鱼类性别决定
鱼类性别分化
鱼类性别异形
鱼类性别特异分子标记与性控育种
鱼类性别逆转
鱼类性成熟
鱼类性比
鱼类性腺发育
鱼类性腺指数
鱼类总死亡
鱼类抗病相关功能基因
鱼类抗菌肽
鱼类捕捞死亡
鱼类摄食
鱼类摄食强度
鱼类摄食类型
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/11/27 19:37:38