找到1个数据集

格式: ZIP 标签: 形式化方法

过滤结果

  • TPTPv7-4-0公式库数据集-filipbartek

    2025年4月24日 30 179 99

    TPTPv7-4-0公式库数据集-filipbartek 数据来源：互联网公开数据 标签：逻辑推理，定理证明，数据集，人工智能，自动推理，形式化方法，计算机科学，逻辑学 数据概述： 该数据集包含了TPTP（Thousands of Problems for Theorem Provers，定理证明器问题集）...
    packageimg