専修大学図書館

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). <BB01135396>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 所蔵館 配置場所 文庫名 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 本館 2Fイエロー区画 /007.6/Sy4 : Basel : alk. paper 206136111 配架済 0件
No. 0001
所蔵館 本館
配置場所 2Fイエロー区画
文庫名
請求記号 /007.6/Sy4
巻号 : Basel : alk. paper
年月次
資料ID 206136111
状態 配架済
返却予定日
予約 0件

書誌詳細

タイトル・著者名 Symbolic rewriting techniques / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
出版 Basel ; Boston : Birkhäuser Verlag , c1998
形態事項 288 p. ; 24 cm
巻号情報
ISBN 3764359013
巻号情報
ISBN 0817659013
シリーズ Progress in computer science and applied logic <BB01135395> v. 15//a
注記 Includes bibliographical references
注記 "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
NCID BA35204361
本文言語コード 英語
著者標目リンク Bronstein, Manuel <AU00260812>
著者標目リンク Grabmeier, Johannes <AU00260811>
著者標目リンク Weispfenning, Volker, 1944- <AU00260813>
著者標目リンク Symbolic Rewriting Techniques Workshop <AU00260814> (1995 : Ascona)
分類標目 LCC:QA267
分類標目 DC21:005.13/1
件名標目等 Rewriting systems (Computer science) -- Congresses
件名標目等 Gröbner bases -- Congresses
件名標目等 Numerical analysis -- Data processing -- Congresses