基于粒形分析的再生细骨料颗粒特性 和制备砂浆性能研究.Published in:Bulletin of the Chinese Ceramic Society, 2021, v. 40, n. 12, p. 4062By:石艳柯;张洛兵;王宇航;刘巍巍;侯荣彬;马军涛Publication type:Article
同步数据流语言 pre 算子在 Coq 中的翻译验证.Published in:Journal of Xihua University (Natural Science Edition), 2025, v. 44, n. 2, p. 87, doi. 10.12198/j.issn.1673−159X.5024By:李春燕;赵长名;杨 斐;马 权;侯荣彬Publication type:Article