Hits:
Title of Paper:知识库系统的逻辑基础
Journal:计算机学报
Correspondence Author:许文艳
Volume:32
Issue:11
Page Number:2123-2129
Translation or Not:No
Date of Publication:2009-11-01
Date:2024-04-08
Prev One:A Cirquent Calculus System With Clustering And Ranking
Next One:A Propositional System Induced by Japaridze\'s Approach to If Logic