Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/records/305441
下载链接
链接失效反馈官方服务：
资源简介：
This is the dataset (Maple files and PDF equivalents) supporting the paper 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)', presented at the Symbolic Computation and Satisfiability Checking workshop at SYNASC 2016 ( 24-27September 2016, Timisoara) and published by CEUR-WS.
创建时间：
2020-01-24
