Jieh Hsiang

Jieh Hsiang

National Taiwan University - Taipei / Taiwan
Social Sciences / Library and Information Science
AD Scientific Index ID: 361427
國立台灣大學
person_outline Jieh Hsiang's MOST POPULAR ARTICLES
1-) PSATO: a distributed propositional prover and its application to quasigroup problemsH Zhang, MP Bonacina, J HsiangJournal of Symbolic Computation 21 (4-6), 543-560, 19963031996
2-) Orderings for equational proofsL BachmairProc. Sympo. on Logic in Computer Science, 346-357, 19862641986
3-) Refutational theorem proving using term-rewriting systemsJ HsiangArtificial Intelligence 25 (3), 255-300, 19852631985
4-) On word problems in equational theoriesJ Hsiang, M RusinowitchAutomata, Languages and Programming: 14th International Colloquium Karlsruhe …, 19872381987
5-) Patent classification by fine-tuning BERT language modelJS Lee, J HsiangWorld Patent Information 61, 101965, 20201982020