@第{佐丹奴2001ReasoningAA条,title={动态线性时间时序逻辑中动作的推理},author={Laura Giordano、Alberto Martelli和Camilla Schwind},日志={Log.J.IGPL},年份={2001},体积={9},页码={273-288},url={https://api.semanticscholar.org/CorpusID:7500854}}
显示0篇相关论文中的1至3篇