Skip to Content
STAX
Toggle navigation
STAX
登录
首页
关于
帮助
联系
搜索 STAX
转到
搜索条件
清除筛选
筛选:
日期
2013
删除限定条件 日期: 2013
部门,学校或学院
Department of Computer and Information Sciences
删除限定条件 部门,学校或学院: Department of Computer and Information Sciences
1
-
4
共
4
按 relevance 排序
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
每页显示结果数
10 每页
10
每页
20
每页
50
每页
100
每页
以如下方式察看搜索结果:
列表
图片式展示
幻灯式展示
搜索结果
1.
Planning as Quantified Boolean Formulae
创造者:
Cashmore, Michael
日期:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
2.
A cosmology of datatypes : reusability and dependent types
创造者:
Dagand, Pierre-Évariste
日期:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
3.
Type inference, Haskell and dependent types
创造者:
Gundry, Adam Michael
日期:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
4.
Best practice in a digital library of Arabic manuscripts
创造者:
Alshuhri, Sulieman Salem
日期:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
限定搜索
类型
Thesis
4
资源类型
Doctoral thesis
4
创造者
Alshuhri, Sulieman Salem
1
Cashmore, Michael
1
Dagand, Pierre-Évariste
1
Gundry, Adam Michael
1
部门,学校或学院
Department of Computer and Information Sciences
[remove]
4
日期
2013
[remove]
4