Mechanical proof methods for post logics: Ewa Orlowska, Institute of Computer Science, Polish Academy of Sciences, Warschau, Poland, 1984

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Available online 20 May 2003.

论文官网地址:https://doi.org/10.1016/0167-9236(86)90106-5