找到1个数据集

标签: 实验资源复现

过滤结果

  • EL证明形式与三种演算实验资源数据集2025

    2025年12月8日 30 195 100

    数据集概述 该数据集包含论文《The Shape of EL Proofs: A Tale of Three Calculi - DL25》中实验所用的材料，以压缩包形式存储，还附带说明实验运行方法的README文件，为相关研究提供实验资源支持。 文件详解 文件名称：experiment-DL2025.zip 文件格式：ZIP压缩包...
    packageimg