常翔学園 広島国際大学図書館

Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Gilles Dowek ... [et al.], (eds.). -- Springer, 1996. -- (Lecture notes in computer science ; 1074). <TW40005924>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 広国呉 広呉書庫1F 007.64||H 30166906 帯出可 0件
No. 0001
巻号
所蔵館 広国呉
配置場所 広呉書庫1F
請求記号 007.64||H
資料ID 30166906
禁帯出区分 帯出可
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者 Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.], (eds.)
出版・頒布事項 Berlin ; Tokyo : Springer , c1996
形態事項 287 p. : ill. ; 24 cm
巻号情報
ISBN 3540612548
シリーズ名 Lecture notes in computer science <BB99330177> 1074//a
注記 Includes bibliographical references
学情ID BA27570739
本文言語コード 英語
著者標目リンク *International Workshop on Higher-Order Algebra, Logic, and Term Rewriting <AU14006684> (2nd : 1995 : Paderborn, Germany)
著者標目リンク Dowek, Gilles <AU40004320>
件名標目等 Rewriting systems (Computer science) -- Congresses
件名標目等 Algebra -- Congresses
件名標目等 Logic, Symbolic and mathematical -- Congresses