|
СТ |
Operational and Denotational Semantics of Rewrite Programs |
1990 |
Bonacina M. P., Hsiang J. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
Logic Programming with Recurrence Domains |
1991 |
Chen H., Hsiang J. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
|
СТ |
Distibuted Deduction by Clause-Diffusion: the Aquarius Prover |
1993 |
Bonacina M. P., Hsiang J. |
|
|
|
Lecture Notes in Computer Science |
09.10.1993 |
|
СТ |
On Fairness in Distributed Automated Deduction |
1993 |
Bonacina M. P., Hsiang J. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
|
СТ |
Personalized Web Retrieval: Three Agents for Retrieving Web Information |
1999 |
Hsiang J., Tu H. -C. |
|
|
|
Lecture Notes in Artificial Intelligence |
10.06.1999 |
