( en | de | ru )

 

Disambiguation of "Hsiang, Jieh"

Author of the publication

copydeleteadd this publication to your clipboard
Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

, and . ICALP, volume 154 of Lecture Notes in Computer Science, page 331-346. Springer, (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hsiang Kuang

Jieh-Wen Tsung

Hsiang-Huang Wu

Hsiang-Shang Ko

Hsiang-Hsu Wang

 

Other publications of authors with the same name

Two Results in Term Rewriting Theorem Proving.. RTA, volume 202 of Lecture Notes in Computer Science, page 301-324. Springer, (1985)A New Method for Establishing Refutational Completeness in Theorem Proving., and . CADE, volume 230 of Lecture Notes in Computer Science, page 141-152. Springer, (1986)Boolean Ring Satisfiability., , , and . SAT, (2004)Exploring Guangxu-era missionary activities in Taiwan from Chinese Recorder, Dan-Hsin Archives and Ming-Qing Taiwan Administrative Archives through DocuSky., , and . DH, (2020)Automating Algebraic Proofs in Algebraic Logic., and . Fundam. Informaticae, 28 (1-2): 129-140 (1996)Various criteria in the evaluation of biomedical named entity recognition., , , , , , , and . BMC Bioinform., (2006)Topics in Automated Theorem Proving and Program Generation. University of Illinois Urbana-Champaign, USA, (1983)Personalized Web Retrieval: Three Agents for Retrieving Web Information., and . PRIMA, volume 1599 of Lecture Notes in Computer Science, page 118-132. Springer, (1998)Operational and Denotational Semantics of Rewrite Programs., and . NACLP, page 449-464. MIT Press, (1990)long version: JLP 14(1&2): 155-188 (1992).On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching., and . New Generation Comput., 16 (2): 163-200 (1998)