请输入您要查询的字词:
单词
希尔伯特现代公理化方法
释义
希尔伯特现代公理化方法
Encyclopedia
哲学
西方逻辑史
释
modern axiomatic method of Hilbert
希尔伯特现代公理化方法
德国数学家D.希尔伯特1899年在《几何基础》一书中所使用的对几何理论进行严格形式化的公理化方法。
随便看
example-based machine translation, EBMT
Example of Oracle Bone Inscriptions
examples
Examples of Doubtful Points in Ancient Books
examples of the words and expressions
ExAO
exaptation
exarch
Exarchate of Cartage
exbibyte 260
excavated instruments from the tomb of Marquis Yi of Zeng
excavated soil
excavating machinery
excavation and disposal treatment
excavation blasting of underground cavern
Excavation of the Tomb of Shedihuiluo of the Northern Qi Dynasty
excavation of underground powerhouse
excavation with track equipment
excavation with trackless equipment
excavation work
excavator
exceedance
exceeding
excellence in four regards
Excellence in Public Relations and Communication Management
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/1/15 9:16:46