定理的自动证明与代德景问题

English Version 武汉大学期刊中心

您当前的位置：

首页 >

文章列表页 >

定理的自动证明与代德景问题

更新时间：2021-04-02

- 定理的自动证明与代德景问题
- 定理的自动证明与代德景问题
- 武汉大学学报（理学版） 1978年第4期页码：19-31
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：中图分类号：
- 纸质出版日期：1978-4-1，
扫描看全文
引用本文
[1]曾宪昌.定理的自动证明与代德景问题[J].武汉大学学报(自然科学版),1978(04):19-31.

定理的自动证明与代德景问题[J]. 1978, (4):19-31.
[1]曾宪昌.定理的自动证明与代德景问题[J].武汉大学学报(自然科学版),1978(04):19-31. DOI：

定理的自动证明与代德景问题[J]. 1978, (4):19-31. DOI：

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据