Suman Roy:一个具有邻域模态的持续时间微积分。(2010) 期刊/jancl/Suman10 10.3166/JANCL.20.81-126 具有邻域模式的持续时间演算。 1 苏曼·罗伊0001 1 81-126 J.应用。非班级。逻辑 J.应用。非班级。逻辑 20 1-2 2010 dblp记录“journals/jancl/Suman10”的RDF数据的来源信息 2021-10-14T09:41:20+0200