奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 学内論文・講義資料

A sufficient condition for the termination of the procedure for solving an order-sorted unification problem PDF

Toshinori Takai, Yuichi Kaji, Hiroyuki Seki

生駒 : 奈良先端科学技術大学院大学, 1999.8

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 PDF   電子化情報 TR R000893   0
刊年 : 1999
シリーズ名 :

Information Science Technical Report ; TR99010

標題言語 : (eng)
本文言語 : (eng)
著者情報 :

高井, 利憲 (タカイ, トシノリ)

楫, 勇一 (カジ, ユウイチ)

関, 浩之 (セキ, ヒロユキ)

ISSN : 09199527