信息系统更新的自动机

Automata of Update for Information Systems作者： 曹发生作者机构： 中山大学逻辑与认知研究所出版物刊名： 逻辑学研究页码： 79-94页年卷期： 2015年