Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
马里奥·R·F·贝内维提斯,亚历山大·马德拉,曼纽尔·马丁斯0001.在具有结构化知识的认识逻辑中添加证明演算.在侯赛因·霍贾特,梅克·马西克,编辑,软件工程基础——第九届国际会议,FSEN 2021,虚拟活动,2021年5月19日至21日,修订论文集.第12818卷,共页计算机科学课堂讲稿,页53-68、斯普林格、,2021 [doi]
缺少摘要。