请输入您要查询的字词:
单词
Lambek calculus
释义
Lambek calculus
Encyclopedia
哲学
逻辑
释
Lambek calculus
兰贝克演算
一种关于字符串毗连运算的逻辑。又称Lambek演算、Lambek语法,简称L。
随便看
桩靴
桩顶标高测量
桫椤
桫椤属
桫椤目
桫椤科
桯史
桶型性
桶型数
桶型畸变
桶型空间
桶形
桶形失直
桶形畸变
桶排序
桶探测器
桶烯
桶集
梁
梁三根
梁上眼
梁丘
梁九
梁云构
梁从诫
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/1/13 4:45:33