×
劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德

基于偏好的条件逻辑表演算、PCL及其扩展。 （英语） Zbl 1351.03019号

ACM事务处理。计算。日志。 10，第3号，第21条，50页（2009年）.

引用于6文件

MSC公司：

03B60号 其他非经典逻辑
03B35型 证明和逻辑操作的机械化
03B70号 计算机科学中的逻辑

关键词：

计算表;条件逻辑
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，ACM翻译。计算。日志。10，第3号，第21条，50页（2009年；Zbl 1351.03019）
全文： 内政部