当前位置:首页 > 名称
大约有3,518项符合查询结果项。(搜索耗时:0.0619秒)
为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
-
-
-
关于证明与反驳的逻辑学说
(苏)阿斯姆斯(В.Х.Асмус)著;臧之权译1955 年出版100 页ISBN:2002·13目次一科学思维与证明二证明与推理三作为选择对象的证明四证明的结构一、证明的论题二、证明的根据(论据)甲、作为证明根据的关于已证实事实的命题乙、作为证明根据的定义丙、作为证明根据的公理和公设丁、作...
-
-
-
中国佛教学术论典 33 《起信论裂纲疏》思想探析 论清辩对“空”的逻辑证明 《因明正理门论》研究 陈那因明思想述评 《正理门论》探微 因明的现量观
星云大师监修;佛光山文教基金会总编辑;永明,永进,永本,满果,满耕编辑2001 年出版409 页ISBN:9574570169 -
学科分类
出版时间
