大家在查：高德纳奖马克尼核磁共振法威尔逊云雾室双共振邓小铁永久居留权清华大学交叉信息研究院英国司法猥亵罪

理论计算机科学

n.theoretic computer science
网络Theoretical Computer Science; DIMACS

理论计算机科学

理论计算机科学

英-汉网络释义

理论计算机科学

Theoretical Computer Science

2010-12... ... Data Mining 数据挖掘 Theoretical Computer Science 理论计算机科学 Database Systems 数据库系统 ...

DIMACS

同时，李乔访问了美国，应邀参加美国的“离散数学与理论计算机科学(DIMACS)”中心举办的离散数学与理论计算机国际会议， …

1

Modern logic is divided into recursion theory , model theory , and proof theory , and is closely linked to theoretical computer science.

现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。

2

Satisfiability (SAT ) problem has been the core problem of research on computational theory .

可满足性问题（SAT ）是当代理论计算机科学的核心问题。

3

Topics in Theoretical Computer Science: Internet Research Problems, Spring

春季课程：理论计算机科学议题：互联网研究问题

4

Electronic Notes in Theoretical Computer Science

理论计算机科学电子札记

热词推荐

大家在看