>> 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
 

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

Springer Berlin Heidelberg : Imprint: Springer

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer

Comon, Hubert, International Conference on Rewriting Techniques and Applications

Springer

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

Springer-Verlag

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

Springer-Verlag

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

Springer

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

Springer-Verlag

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

Springer