|
English
|
正體中文
|
简体中文
|
2823020
|
|
???header.visitor??? :
30200597
???header.onlineuser??? :
1098
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"david claire"???jsp.browse.items-by-author.description???
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
|