このページのリンク

Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.)
(Lecture notes in computer science ; 968)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1995
本文言語 英語
大きさ viii, 373 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:267:I578:1994

001971273

書誌詳細を非表示

一般注記 Held in conjunction with the Twenty-first International Colloquium on Automata, Language and Programming (ICALP'94)
Includes bibliographical references and index
著者標目 Dershowitz, Nachum, 1951-
Lindenstrauss, Naomi
*International Workshop on Conditional (and Typed) Rewriting Systems (4th : 1994 : Jerusalem, Israel)
件 名 LCSH:Rewriting systems (Computer science) -- Congresses  全ての件名で検索
LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索
LCSH:Algorithms -- Congresses  全ての件名で検索
分 類 NDC9:007.63
LCC:QA267
DC19:511.3
NDC8:007.64
巻冊次 : Berlin ; ISBN:3540603816 REFWLINK
ISBN 3540603816
NCID BA25971615 WCLINK
目次/あらすじ

 類似資料