事件微积分-一流百科

事件微积分

事件微积分事件微积分是一种用于表示和推理事件及其影响的逻辑语言，由RobertKowalski和MarekSergot于1986年首次提出。它在20世纪90年代被MurrayShanahan和Ro...

词条百科