约瑟夫·乌尔班;彼得·鲁德尼基;萨特克利夫,杰夫 Mizar形式化的ATP和演示服务。 (英语) Zbl 1260.68380号 J.汽车。推理 50,第2期,229-241(2013).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Urban}等人,J.Autom。推理50,No.2,229--241(2013;Zbl 1260.68380) 全文: 内政部 arXiv公司
格拉泽戈兹·班塞雷克;彼得·鲁德尼基 MIZAR中的连续格概要。 (英语) 兹比尔1064.68082 J.汽车。推理 29,第3-4号,189-224(2002).MSC公司:68吨15 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}和\textit{P.Rudnicki},J.Autom。推理29,No.3--4,189-224(2002;Zbl 1064.68082) 全文: 内政部
彼得·鲁德尼基;安德烈·特雷布利克 关于基础良好的等价物。MIZAR的一个实验。 (英语) Zbl 0944.68168号 J.汽车。推理 23,第3-4号,197-234(1999).MSC公司:68吨15 03B35型 03E30年 03-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Rudnicki}和\textit{A.Trybulec},J.Autom。推理23,No.3--4,197--234(1999;Zbl 0944.68168) 全文: 内政部
彼得·鲁德尼基 明显的推断。 (英语) Zbl 0641.68141号 J.汽车。推理 3, 383-393 (1987).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Rudnicki},J.Autom。推理3,383--393(1987;Zbl 0641.68141) 全文: 内政部