>> Google Books
所蔵情報QRコード

Advanced topics in term rewriting / Enno Ohlebusch

資料種別:
図書
出版情報:
New York : Springer, c2002
形態:
xv, 414 p. ; 25 cm
著者名:
Ohlebusch, Enno  
ISBN:
9780387952505 [0387952500]
書誌ID:
BA56963848
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック 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

Terese

Cambridge University Press

Baader, Franz, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer Verlag

Pfenning, Frank, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias

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

International Conference on Rewriting Techniques and Applications, Giesl, Jürgen, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard

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

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

11 図書 Advanced topics

Crisfield, M. A.

Wiley

International Workshop CTRS, Remy, J. L., Rusinowitch, Michael

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

International Conference on Rewriting Techniques and Applications, Giesl, Jürgen

Springer

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