请输入您要查询的字词:
单词
von Neumann-Bernays-Gödel axiomatic system
释义
von Neumann-Bernays-Gödel axiomatic system
Encyclopedia
哲学
西方逻辑史
释
von Neumann-Bernays-Gödel axiomatic system
冯•诺伊曼-博内斯-哥德尔公理系统
公理化集合论系统之一,简称NGB系统,又称GB系统。
随便看
automatic generating control
automatic generation
automatic generation control
automatic generation control of hydropower station
automatic grading system of agricultural products
automatic grafting machine
automatic grammar
automatic grid generation
automatic ground controlled landing
automatic group
automatic guided vehicle
automatic guider
automatic guiding
automatic high-voltage control
automatic hydrological forecasting
automatic identification system
automatic imposition
automatic incident detection
automatic indexing
automatic information retrieval
automatic input memorization
automatic input of backup power supply
automatic instrumentation standardization system
automatic integration
automatic integration scheme
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/12/28 2:43:52