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

>> Google Books

QRコード(所蔵情報)

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

フォーマット:

図書

責任表示:

edited by Jean-Pierre Jouannaud

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1985

形態:

vi, 440 p. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 202 <BA00009279>

書誌ID:

BA00508585

ISBN:

9783540159766 [3540159762] (: gw)

9780387159768 [0387159762] (: us)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	アルゴリズム; 電子計算機
分類・件名:	LCC : QA76.6 DDC : 005 NDC8 : 007.63 NDC8 : 548.2 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Algorithms -- Congresses NDLSH : 電子計算機 NDLSH : アルゴリズム
LCCN:	85022164
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings Lescanne, Pierre, International Conference on Rewriting Techniques and Applications Springer-Verlag	7 電子ブック Constraints in Computational Logics Jouannaud, Jounnaud, Jean-Pierre Springer Berlin Heidelberg
2 電子ブック Rewriting Techniques and Applications Jouannaud Springer Berlin Heidelberg	8 図書 Fifth generation computer systems : proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981 International Conference on Fifth Generation Computer Systems, 元岡, 達(1929-), 日本情報処理開発協会 North-Holland Pub. Co., Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
3 電子ブック Term Rewriting French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre Springer Berlin Heidelberg	9 図書 Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 Jouannaud, Jean-Pierre, Conference on Functional Programming Languages and Computer Architecture Springer-Verlag
4 図書 Algebraic algorithms and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings AAECC, Calmet, Jacques, 1941-, Laboratoire d'informatique fondamentale et d'intelligence artificielle (Saint-Martin … Springer-Verlag	10 電子ブック Rewriting Techniques and Applications Leo Bachmair, Bachmair, Leo Springer Berlin Heidelberg
5 図書 Cohomology of arithmetic groups and automorphic forms : proceedings of a conference held in Luminy/Marseille, France, May 22-27, 1989 Conference 'Cohomology of Arithmetic Groups', Labesse, Jean-Pierre, 1943-, Schwermer, Joachim, 1950- Springer-Verlag	11 電子ブック Rewriting Techniques and Applications Tobias Nipkow, Nipkow, Tobias Springer Berlin Heidelberg
6 図書 Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 EUROCRYPT, Beth, Thomas, 1949-, Cot, Norbert, 1945-, Ingemarsson, Ingemar, 1938- Springer-Verlag	12 電子ブック Rewriting Techniques and Applications Paliath Narendran, Narendran, Paliath, Rusinowitch, Michael Springer Berlin Heidelberg