机译:Grimmer等人的“多语言运行时中的跨语言互操作性”勘误,《 ACM Transactions on Programming Languages and Systems(TOPLAS)Volume 40,Issue 2,Article No. 8》
机译:使用SWISH实现基于逻辑的语言的交互式基于Web的教程
机译:智能软件代理的基于逻辑的规范语言
机译:用于描述设备互操作性的基于逻辑的语言
机译:非接触式指纹设备与基于接触式指纹设备的互操作性分析。
机译:通过将UnitML集成到标记语言中来提高互操作性
机译:非接触式指纹装置的互操作性分析与基于接触的指纹装置
机译:根据与其外围设备相关的语言描述自动机。