>> Google Books
所蔵情報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
形態:
viii, 221 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 909 <BA00009279>
著者名:
ISBN:
9783540593409 [3540593403] (: Berlin)
9780387593401 [0387593403] (: New York)
書誌ID:
BA25037263
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer-Verlag

International Conference IFIP TCS, Lévy, Jean-Jacques, 1947-, Mayr, Ernst W., Mitchell, John C., IFIP World Computer …

Kluwer Academic Publishers

2 電子ブック Term Rewriting

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Symposium on Theoretical Aspects of Computer Science, Diekert, Volker, 1955-, Habib, M. (Michel)

Springer

International Conference on Rewriting Techniques and Applications, Comon, Hubert

Springer

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

Springer-Verlag

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

Springer-Verlag

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag

Jouannaud, Jean-Pierre, International Conference on Rewriting Techniques and Applications

Springer-Verlag

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

Springer

Symposium on Theoretical Aspects of Computer Science, Reichel, Horst, Tison, Sophie

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12