×
格里戈里斯·安东尼奥；大卫·比林顿；圭多州长；迈克尔·马赫（Michael J.Maher）。

可废止逻辑的表示结果。 （英语） 兹比尔1171.68740

ACM事务处理。计算。日志。 2，第2期，255-287（2001）.

引用于27文件

MSC公司：

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
PDF格式BibTeX公司 XML格式引用
\textit{G.Antoniou}等人，《美国医学杂志》。计算。日志。2，第2号，255--287（2001；Zbl 1171.68740）
全文： 内政部 arXiv公司