|
English
|
正體中文
|
简体中文
|
Total items :2853524
|
|
Visitors :
45216109
Online Users :
963
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"david claire"
Showing items 1-5 of 5 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 1-5 of 5 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
