>> Amazon.co.jp
このページのQRコード

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course

種類:
図書
責任表示:
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
出版情報:
Berlin ; New York ; Tokyo : Springer Verlag, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 909 <BA00009279>
ISBN:
9783540593409 [3540593403] (: Berlin)  CiNii Books  Calil
9780387593401 [0387593403] (: New York)  CiNii Books  Calil
注記:
"This volume contains the proceedings of the French Spring School of Theoretical Computer Science held in Font Romeu in May 1993"--Pref
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Comon, Hubert., Jouannaud, Jean-Pierre., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings

Schmidt, Gunther, 1939-, Berghammer, R. (Rudolf), 1952-, International Workshop on Graph-Theoretic Concepts in Computer &hellip;

Springer-Verlag
2 電子ブック Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Comon, Hubert, Jounnaud, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag
8 図書 Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings

International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.

Springer-Verlag
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 図書 Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer
4 図書 Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings

Comon, Hubert, International Conference on Rewriting Techniques and Applications

Springer
10 図書 Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Madhavan, C. E. Veni

Springer-Verlag
5 図書 Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V., Madhavan, C. E. Veni

Springer-Verlag
11 図書 STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings

Symposium on Theoretical Aspects of Computer Science, Ferreira, Afonso, Reichel, Horst

Springer
6 図書 Foundations of software technology and theoretical computer science : 13th Conference, Bombay, India, December 15-17, 1993 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Shyamasundar, Rudrapatna, 1950-

Springer-Verlag
12 図書 Graph-theoretic concepts in computer science : 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science, Brandes, Ulrik, Wagner, Dorothea

Springer