请输入您要查询的字词:
单词
根岑推导系统
释义
根岑推导系统
Encyclopedia
理学
形式化
释
Gentzen deduction system
根岑推导系统
德国的数学家和逻辑学家G.根岑(Gerhard Gentzen)于1934年提出的证明论中一族用于形式证明的系统。又称矢列式演算。
随便看
转慢指数
转战陕北
转房
转折力
转折点
转折的
转折角
转折频率
转折:在情境中集成信息查询与检索
转振带
转振耦合
转振[谱]带
转振谱带
转换
转换价格
转换公式
转换化合物
转换区
转换后援缓冲器
转换器
转换图
转换型板块边界
转换层
转换开关
转换性障碍
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/27 3:02:05