刑事电子数据形式真实性证明研究Research on the Formal Authenticity Proof of Criminal Electronic Data
李嘉陵 下载量: 665 浏览量: 1,431
法学 Vol.9 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/OJLS.2021.91026 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
“政府信息不存在”中合理检索义务标准研究Research on the Standard of Reasonable Retrieval Obligation in “Non-Existent Government Information”
周轶维 下载量: 72 浏览量: 144
法学 Vol.12 No.5, May 16 2024, PDF, HTML, XML DOI:10.12677/ojls.2024.125417 被引量