“分离逻辑”的概念、定义、翻译、参考文献-科学参考

单词	分离逻辑
释义	分离逻辑 Encyclopedia 理学程序验证释 separation logic分离逻辑一种支持指针程序验证的程序逻辑。是对霍尔逻辑的扩充。
随便看	浮选抑制剂浮选晶体化学浮选机浮选柱浮选泡沫图像分析处理浮选活化剂浮选流程浮选液位协同控制浮选液位控制浮选液位检测浮选溶液化学浮选用松醇油浮选用水浮选电化学浮选药剂浮选药剂分子设计浮选药剂制度浮选设备浮选调整剂浮选起泡剂浮选过程仿真浮选过程优化控制浮选过程控制浮选过程检测控制浮郄

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。