在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Logical Framework

查词链接:https://www.dute.org/dict/logical_framework复制链接
逻辑框架
查看英英释义
abstract:
In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving.

网络释义
逻辑框架
...gistics, logical framework, intelligent transportation, electronic commerce [gap=301]关键词 物联网,智能物流,逻辑框架,智能运输,电子商务 ...
辑框架
...max 决策树 多对象程式演算法,如:AHP 计分卡 计分卡 计分卡 计分卡 逻辑框架 逻辑框架 逻辑框架 逻辑框架 (Logical Framework)?
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...