NCID | BA00568270 |
タイトル | Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne |
出版者 | Berlin ; Tokyo : Springer-Verlag , c1987 |
形態 | vi, 285 p. ; 25 cm |
注記 | Proceedings of the Second International Conference on Rewriting Techniques and Applications Includes bibliographical references |
シリーズ名 | Lecture notes in computer science ; 256
|
分類 | LCC:QA76.6 DC19:005 NDC8:007.63 NDC8:548.2 |
件名 | LCSH:Electronicdigitalcomputers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
NDLSH:電子計算機
NDLSH:アルゴリズム
|
著者情報 | Lescanne, Pierre International Conference on Rewriting Techniques and Applications
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | ドイツ = ドイツ連邦共和国 |
ISBN | 3540172203(: gw) 0387172203(: us)
|