名城大学附属図書館

Symbolic rewriting techniques

Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors ; : Basel : alk. paper, Boston : pbk. : alk. paper. -- Birkhäuser Verlag, 1998. -- (Progress in computer science and applied logic ; v. 15). <BB05067479>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 : Basel : alk. paper 本館 1F 書庫 007.08/P964/15 20767542 0件
No. 0001
巻号 : Basel : alk. paper
所蔵館 本館
配置場所 1F 書庫
請求記号 007.08/P964/15
資料ID 20767542
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Symbolic rewriting techniques / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
出版・頒布事項 Basel ; Boston : Birkhäuser Verlag , c1998
形態事項 288 p. ; 24 cm
巻号情報
巻次等 : Basel : alk. paper
ISBN 3764359013
巻号情報
巻次等 Boston : pbk. : alk. paper
ISBN 0817659013
書誌構造リンク Progress in computer science and applied logic <BB05232054> v. 15//a
注記 Includes bibliographical references and index
注記 "This volume contains ... the Symbolic Rewriting Techniques workshop, which was held in the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995" -- Pref
学情ID BA35204361
本文言語コード 英語
著者標目リンク Bronstein, Manuel <AU00140493>
著者標目リンク Grabmeier, Johannes <AU00140494>
著者標目リンク Weispfenning, Volker, 1944- <AU00128543>
著者標目リンク Symbolic Rewriting Techniques Workshop <AU00140495> (1995 : Ascona)
分類標目 LCC:QA267
分類標目 DC21:005.13/1
件名標目等 Rewriting systems (Computer science) -- Congresses
件名標目等 Gröbner bases -- Congresses
件名標目等 Numerical analysis -- Data processing -- Congresses