Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

＜図書＞
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

責任表示	N. Dershowitz (ed.)
シリーズ	Lecture notes in computer science ; 355
データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , c1989
本文言語	英語
大きさ	vii, 579 p. : ill. ; 24 cm
概要	Proceedings of the International Conference, Chapel Hill, NC, April 1989. Thirty-four papers in the following (or related) areas: graph rewriting and grammars, algebraic semantics, equational reasonin..., equational programming languages, completion procedures, rewrite-based theorem proving, unification and matching algorithms, term-based architectures, conditional rewriting. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る
電子版へのリンク	https://hdl.handle.net/2324/6798098

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	理系図自動書庫	007/L 49	1989		068252190000958		予約・取寄		出庫可能	予約・取寄		出庫可能
	: gw	理系図自動書庫	408/L 49	1989		061232004007820		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographies and index
著者標目	*International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.) Dershowitz, Nachum, 1951-
件　名	LCSH:Rewriting systems (Computer science) -- Congresses 全ての件名で検索 LCSH:Electronic digital computers -- Programming -- Congresses 全ての件名で検索 LCSH:Algorithms -- Congresses 全ての件名で検索
分　類	LCC:QA267 DC20:511.3
書誌ID	1000988643
ISBN	3540510818
NCID	BA06896024
巻冊次	: gw ; ISBN:3540510818 : us ; ISBN:0387510818 ; XISBN:0387810818
登録日	2009.09.16
更新日	2017.02.18