|
English
|
正體中文
|
简体中文
|
总笔数 :2853524
|
|
造访人次 :
45219861
在线人数 :
989
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"david claire"的相关文件
显示项目 1-5 / 5 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
On the Satisfiability of Two-Variable Logic over Data Words.
|
David, Claire;Libkin, Leonid;Tan, Tony; David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:24Z |
On the Satisfiability of Two-Variable Logic over Data Words.
|
David, Claire;Libkin, Leonid;Tan, Tony; David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
Efficient reasoning about data trees via integer linear programming.
|
David, Claire;Libkin, Leonid;Tan, Tony; David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
Efficient reasoning about data trees via integer linear programming.
|
David, Claire;Libkin, Leonid;Tan, Tony; David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
| 臺大學術典藏 |
2020-05-04T08:07:23Z |
Efficient reasoning about data trees via integer linear programming.
|
David, Claire; Libkin, Leonid; Tan, Tony; TONY TAN |
显示项目 1-5 / 5 (共1页)
1
每页显示[10|25|50]项目
|
