...
机译:资源,并发和本地推理
Concurrency; Logics of programs; Separation logic;
机译:资源,并发和本地推理
机译:反向交换下的并发和局部推理
机译:并发图书馆的抽象局部推理:注意差距
机译:资源,并发和本地推理
机译:PaniniJ:在Java中添加了胶囊编程抽象,为并发程序设计中的模块化推理提供语言支持。
机译:在资源贫乏地区,同时放化疗与单纯放疗可治疗局部晚期宫颈癌
机译:资源,并发和本地推理
机译:在资源有限的环境中推理知识不完全:整合推理和知识获取