Rewriting techniques and applications : Dijon, France, May 20-22, 1985 | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Rewriting techniques and applications : Dijon, France, May 20-22, 1985

種類:

図書

責任表示:

edited by Jean-Pierre Jouannaud

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1985

著者名:

シリーズ名:

Lecture notes in computer science ; 202 <BA00009279>

ISBN:

9783540159766 [3540159762] (: gw)

9780387159768 [0387159762] (: us)

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	アルゴリズム; 電子計算機
分類・件名:	NDC7 : 549.92 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Algorithms -- Congresses NDLSH : 電子計算機 NDLSH : アルゴリズム
LCCN:	85022164
TTLL:	eng
言語:	英語
形態:	vi, 440 p. ; 25 cm
書誌ID:	BA00508585

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Rewriting Techniques and Applications : Dijon, France, May 20–22, 1985 Jouannaud, Jean-Pierre, SpringerLink (Online service) Springer-Verlag	7 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre Springer-Verlag
2 電子ブック Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985 Jouannaud, Jean-Pierre., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings Kaplan, Stephane., Jouannaud, Jean-Pierre., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings Lescanne, Pierre, International Conference on Rewriting Techniques and Applications Springer-Verlag	9 図書 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre Springer Verlag
4 図書 Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings International Conference on Rewriting Techniques and Applications, Middeldorp, Aart, 1963- Springer	10 図書 Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings International Conference on Rewriting Techniques and Applications, Tison, Sophie Springer
5 電子ブック Rewriting Techniques and Applications : Bordeaux, France, May 25–27, 1987 Proceedings Lescanne, Pierre, SpringerLink (Online service) Springer-Verlag	11 電子ブック Advances in Cryptology — EUROCRYPT ’95 : International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, … Guillou, Louis C., Quisquater, Jean-Jacques, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
6 電子ブック Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings Lescanne, Pierre., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 電子ブック Advances in Cryptology – EUROCRYPT ’95 : International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May … Guillou, Louis C., Quisquater, Jean-Jacques., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer