默认逻辑之间的双射忠实翻译 电子书下载

原名:Bijective faithful translations among default logics
作品简介:扩大;因此，涉及两个默认逻辑的忠实翻译是翻译 。语义之间的双射忠实多时间翻译。……