<図書>

Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter

(Lecture notes in computer science;277)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 Germany 39:L:1.277 2012121741

4137/保存書庫
4

駒場Ⅱキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
先端研・図書
681.3:L471 7600058312

集密書架別置

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1987
大きさ x, 263 p. : ill. ; 25 cm
一般注記 Bibliography: p. [256]-263
Includes index
著者標目 *Benninghofen, Benjamin, 1958-
Kemmerich, Susanne, 1953-
Richter, Michael M., 1938-
件 名 LCSH:Rewriting systems (Computer science)
LCSH:Algebra, Universal -- Data processing
LCSH:Algorithms
分 類 LCC:QA267
DC19:511.3
本文言語 英語
書誌ID 2000034874
ISBN 3540185984
NCID BA01336587 WCLINK

検索結果一覧に戻る ページトップ