>> Google Books
タイトル、所在を表示します

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)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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 図書 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
2 図書 Rewriting techniques and applications

Jouannaud, Jean-Pierre

Academic
8 図書 Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings

International Conference on Rewriting Techniques and Applications, Treinen, Ralf

Springer
3 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings

Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre

Springer-Verlag
9 図書 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

International Joint Conference on Theory and Practice of Software Development, Gaudel, M.-C. (Marie-Claude), Jouannaud, &hellip;

Springer-Verlag
4 図書 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
10 図書 Advances in cryptology, EUROCRYPT '95 : International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995 …

EUROCRYPT, Guillou, Louis C., 1947-, Quisquater, J.-J. (Jean-Jacques), 1945-

Springer-Verlag
5 図書 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
11 図書 Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings

International Conference on Rewriting Techniques and Applications, Comon, Hubert

Springer
6 図書 Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

CCL, Jouannaud, Jean-Pierre

Springer-Verlag
12 図書 Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer