时态逻辑
基本解释
简解
时态逻辑的词语属性
拼音shí tài luó ji
拼音字母shi tai luo ji
拼音首字母stlj
时态逻辑的百科含义
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
猜你喜欢
- xumaobin徐茂斌
- wén tán文坛
- jishixiaoweng吉氏啸鹟
- xigaizhiwu喜钙植物
- yijinshirou衣锦食肉
- jushazhong巨沙螽
- beie碑额
- dazhourencaiwang达州人才网
- xuqiuyi许秋怡
- qihuojingjiren期货经纪人
- zhijiewaihuiguanzhi直接外汇管制
- tunfotongzi吞佛童子
- qiqiujunshu气球菌属
- minbendaxue民本大学
- panshuxiankongyazhong攀鼠显孔亚种
- shangguan伤官
- wuchuanguo武传国
- daxiangcun大巷村
- shuanglongdadao双龙大道
- weikangjizhu威康极柱
- luoantong络氨铜
- banjinchui钣金锤
- gonghuiyouhuo工汇有活
- beiliyan倍丽颜
- chaocixing超雌性
- lanzilideemo篮子里的恶魔
- leiweiatan雷维阿坦
- hubaorong胡保荣
- xiaobingheqi小冰河期
- juniyechie锯拟叶尺蛾