“propositional μ-calculus”的概念、定义、翻译、参考文献-科学参考

单词	propositional μ-calculus
释义	propositional μ-calculus Computer 理论计算机科学程序理论释文 propositional μ-calculus命题μ演算
随便看	苦橄岩苦水作剧三种苦水河苦海净土三部曲苦瓜苦瓜和尚画语录苦甘草苦盏苦社会苦笋帖苦笑面容苦索科国家公园苦苣苔科苦苣菜苦荬菜苦菜花苦行苦豆子苦难主日苦难会苦难的历程苦马豆苦马豆碱苦马豆素苫国

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