×
马克·德纳克；尤金妮亚·特诺夫斯卡

非单调归纳定义的逻辑。 （英语） Zbl 1367.68278号

ACM事务处理。计算。日志。 9，第2号，第14条，52页（2008年）.

引用于18文件

MSC公司：

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
68N17号 逻辑编程

关键词：

归纳定义；经典逻辑；逻辑程序设计
PDF格式BibTeX公司 XML格式引用
\textit｛M.Denecker｝和\textit｛E.Ternovska｝，ACM Trans。计算。日志。9，第2号，第14条，第52页（2008年；兹bl 1367.68278）
全文： 内政部 链接