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

单词	分离逻辑
释义	分离逻辑 Encyclopedia 理学程序验证释 separation logic分离逻辑一种支持指针程序验证的程序逻辑。是对霍尔逻辑的扩充。
随便看	gestation gestational cough gestational diabetes mellitus gestational hypertension gestational kidney disease gestational period gestational pruritus gestational stranguria Gestational trophoblastic disease gestational trophoblastic disease gestational trophoblastic neoplasia gestation reaction gesture gesture and sign language gesture dance gesture interaction gesture recognition gesture sensor Gesualdo Bufalino Ge Tan Ge Tingsui Get on Sister’s Bridal Sedan Chair Getoor Get Out of the Booth getter

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