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

Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings / Jürgen Giesl (ed.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2005
形態:
xiii, 515 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3467 <BA00009279>
著者名:
ISBN:
9783540255963 [3540255966]
書誌ID:
BA71836868
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Conference on Rewriting Techniques and Applications, Pfenning, Frank

Springer

International Conference on Rewriting Techniques and Applications, Book, Ronald V.

Springer-Verlag

International Conference on Entertainment Computing, 岸野, 文郎, Kitamura, Yoshifumi, Kato, Hirokazu, Nagata, Noriko

Springer

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

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications

Springer

International Conference on Typed Lambda Calculi and Applications, Urzyczyn, Paweł

Springer

International Conference on Rewriting Techniques and Applications, Kirchner, Claude

Springer-Verlag

Database and Expert Systems Applications Conference, Andersen, Kim Viborg, Debenham, John K., Wagner, Roland R.

Springer

International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-

Springer-Verlag

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