机译:希尔伯特公理学的方法:结构和形式
Carnegie Mellon;
机译:希尔伯特的公理方法和卡纳普的一般公理学
机译:在正式的公理认识论系统Sigma中假设A-Priori-Ness的知识守恒守恒定律
机译:缩小解析几何与合成几何之间的差距:希尔伯特的公理方法
机译:为希尔伯特式公理证据发电提示和反馈
机译:顶点代数的形式演算,本影演算和基本公理。
机译:基于CEEMDAN Hilbert变换神经网络方法的结构损伤定位和量化:钢桁架桥模型案例研究
机译:(几何,形式主义和直觉:戴维·希尔伯特和正式的公理方法(1891-1905)
机译:形式优化技术在高超声速飞行器热管冷却板热/结构设计中的应用