NExtK4中濒表格逻辑研究回顾

NExtK4中濒表格逻辑研究回顾

杜珊+

Retrospect to the Researches in Pretabular Logics of NExtK4

DU Shan ⁺

计算机科学与探索 . 2010, (12): 1131 -1146 . DOI: 10.3778/j.issn.1673-9418.2010.12.008