请输入您要查询的字词:
单词
多种类谓词演算
释义
多种类谓词演算
Mathematics
many-sorted predicate calculus
多种类谓词演算
†
several-sorted predicate calculus
多种类谓词演算
随便看
Las Tunas
Last Year at Marienbad
La Superba
Lasurong
Las Vegas
Las Vegas algorithm
La Sylphide
Laszlo Moholy-Nagy
Latady formation
Latakia
L'Atalante
latch
latch clutch
latching
latching gyromagnetic device
latching network
latch register
latch up
late abortion
late adulthood
Late-arriving Northern migrants
late barrier
late barrier reaction
late biological effect of nuclear explosion
latebrose
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/10/1 12:32:21