first-order modal logic

网络释义

1.	逻辑为此，我们研究了一种基于一阶模态逻辑（First-Order Modal Logic）的叙事和动画表示语言——Narlog [2] 。 Narlog采用类KI… www.docin.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。