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

Term rewriting systems / Terese

資料種別:
図書
出版情報:
Cambridge : Cambridge University Press, 2003
形態:
xxii, 884 p. ; 24 cm
シリーズ名:
Cambridge tracts in theoretical computer science ; 55 <BA01121831>
著者名:
Terese  
ISBN:
9780521391153 [0521391156] (: hard)
書誌ID:
BA61307703
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Term rewriting and all that /

Baader, Franz, Nipkow, Tobias

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

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

Jantzen, Matthias, 1948-

Springer-Verlag

Benninghofen, Benjamin, 1958-, Kemmerich, Susanne, 1953-, Richter, Michael M., 1938-

Springer-Verlag

Dörr, Heiko, 1962-

Springer-Verlag

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

International Conference on Rewriting Techniques and Applications, Oostrom, Vincent van

Springer

Ohlebusch, Enno

Springer

International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert

Springer

11 電子ブック Term Rewriting and Applications

Pfenning, Frank, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

12 電子ブック Term Rewriting and Applications

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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