A cut-free system for 16-valued reasoning
A cut-free system for 16-valued reasoning
复制标题
16 值推理的免割系统
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
上出哲広
中科院分区：
文献类型：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
登录
查看更多内容
具有显式近似的 µ 微积分中的全局归纳机制
DOI：
--
发表时间：
2003
期刊：
RAIRO - Theoretical Informatics and Applications
影响因子：
--
作者：
Christoph Sprenger;M. Dam
通讯作者：
M. Dam
关于具有显式近似的微积分中的全局归纳机制的注记
DOI：
10.1007/978-3-319-10431-7
发表时间：
2002
期刊：
J. Log. Comput.
影响因子：
--
作者：
C. Sprenger
通讯作者：
C. Sprenger
迪桑特无限演绎
DOI：
10.1093/jigpal/12.1.1
发表时间：
2004
期刊：
Log. J. IGPL
影响因子：
--
作者：
Claus
通讯作者：
Claus
证明理论手册
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
S. Buss
通讯作者：
S. Buss
具有归纳定义的一阶逻辑的循环证明
DOI：
10.1007/11554554_8
发表时间：
2005
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
J. Brotherston
通讯作者：
J. Brotherston