《智能系统学报》
过刊查询页面
关键词中包括
Tarski model
的文章
1
常用基本不等式的机器证明
杨路,郁文生 2011年5期 [377-390][
摘要
](
4619
)
[
pdf
1090KB]
(
2359
)
DOI: