在具有结构化知识的认识逻辑中添加证明演算

马里奥·R·F·贝内维提斯,亚历山大·马德拉,曼纽尔·马丁斯0001.在具有结构化知识的认识逻辑中添加证明演算.侯赛因·霍贾特,梅克·马西克,编辑,软件工程基础——第九届国际会议,FSEN 2021,虚拟活动,2021年5月19日至21日,修订论文集.第12818卷,共页计算机科学课堂讲稿,页53-68、斯普林格、,2021 [doi]

摘要

缺少摘要。