>> 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)  CiNii Books  Webcat Plus  Google Books
9780387159768 [0387159762] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
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 図書 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
2 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings

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

Springer-Verlag
8 図書 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
3 図書 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
9 図書 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 &hellip;

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

CCL, Jouannaud, Jean-Pierre

Springer-Verlag
10 電子ブック Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings

Hutchison, David, Mitchell, John C., Kittler, Josef, Weikum, Gerhard, Treinen, Ralf, Terzopoulos, Demetri, Vardi, Moshe &hellip;

Springer Berlin Heidelberg
5 図書 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
11 図書 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
6 電子ブック Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Jouannaud, Jean-Pierre, Shao, Zhong, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
12 図書 Fundamental approaches to software engineering : Second International Conference, FASE '99, held as part of the Joint European Conferences on Theory and …

FASE, Finance, Jean Pierre

Springer-Verlag