著者典拠情報

著者標目形：
Hsiang, Jieh, 1954-
属性：
Personal
日付：
1954-
注記：
His Topics in automated theorem proving and program generation, 1983: t.p. (Jieh Hsiang, B.S., National Taiwan Univ., M.A., State Univ. of N.Y.) vita (b. 5/26/54)
SRC:Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed(Springer-Verlag, c1995)
著者典拠ID：
DA09028304


1.

図書
図書
1. Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Jieh Hsiang, Atsushi Ohori (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1538
所蔵情報: 図書館
2.

図書
図書
2. Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (: Berlin)
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: 図書館