Skip to Content

author : Jieh Hsiang

2 publications
page_white_acrobat On subsumption in distributed derivations (1994) — Maria Paola Bonacina, Jieh Hsiang
page_white_acrobat Automatic inductive theorem proving using Prolog (Theoretical Computer Science, 1987) — Jieh Hsiang, Mandayam Srivas
[ Author Cloud  /  publications ]