请输入您要查询的字词:
单词
first-order logic
释义
first-order logic
Mathematics
>数理逻辑与数学基础>模型论>释义
first-order logic
一阶逻辑
first-order logic
一阶逻辑
†
Computer
理论计算机科学
程序理论
释文
predicate calculus
谓词演算
随便看
烘烤用石板
烘烤类糕点
烘焙
烘焙法
烘燥装置
烘箱
烘缸多段供汽过程控制系统
烘茧机
烘茧灶
烘青绿茶
烙
烙法
烛光
烛发光率
烛形滤器
烛形管式过滤器
烛形过滤器
烛影斧声
烛星
烛烛晨明月
烛芯效应
烝民
烟剂
烟化炉
烟台历史文化名城保护规划
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/3 1:25:48