ホリベ ノリコ   Horibe Noriko
  堀部 典子
   所属   崇城大学  情報学部 情報学科
   崇城大学大学院  工学研究科 応用情報学専攻(博士前期課程)
   崇城大学大学院  工学研究科 応用情報学専攻(博士後期課程)
   職種   教授
言語種別 英語
発行・発表の年月 2001
形態種別 原著論文
査読 査読あり
標題 An efficient derivation for elementary formal systems based on partial unification
執筆形態 単著
掲載誌名 The 4th International conference on Discovery Science (LNAI 2226)
出版社・発行元 Springer
巻・号・頁 pp.350-364
ISBN 3-540-42956-5