遇见数据集

Proofs of propositions, lemmas and theorems

收藏
Mendeley Data2026-04-09 收录
官方服务:

资源简介:

Proofs of propositions, lemmas and theorems

命题、引理与定理的证明

提供机构:
jiahe wang
二维码
社区交流群
二维码
科研交流群
商业服务