×
尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨;卡米拉·施温德。

标准条件逻辑的序列演算和定理证明器。 （英语） Zbl 1367.68253号

ACM事务处理。计算。日志。 8，第4号，第22条，51页（2007年）.

引用于13文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
03财年03 一般证明理论（包括证明理论语义）
68N17号 逻辑编程

关键词：

解析序列计算;自动演绎;条件逻辑;标记演绎系统;逻辑程序设计;证明理论

软件：

序言;康德莱恩
PDF格式BibTeX公司 XML格式引用
\textit{N.Olivetti}等人，《美国医学杂志》。计算。日志。8，第4号，第22条，51页（2007年；Zbl 1367.68253）
全文： 内政部 arXiv公司