Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds.

• 資料種別: 図書
• ISBN: 3540582339 (Berlin : acid-free paper); 0387582339 (New York : acid-free paper)
• タイトル: Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds.
• シリーズタイトル: Lecture notes in computer science
• 著者標目: Heering, J.; International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
• 出版事項: Berlin : Springer-Verlag; Tokyo : Springer-Verlag
• 出版年月日等: c1994.
• 出版年（W3CDTF）: 1994
• 数量: 344 p. : ill. ; 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Rewriting systems (Computer science) -- Congresses.; Algebra -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
• LCC: QA267
• DDC: 005.1/01/5113
• NDLC: M15; M159
• 書誌注記: Includes bibliographical references.
• 所蔵機関: 国立国会図書館
• 請求記号: M15-A9524
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003232724; http://id.ndl.go.jp/bib/000003232724
• LC control number: 94003447; https://lccn.loc.gov/94003447
• 整理区分コード: 211