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

Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer, c1999
形態:
xi, 396 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1631 <BA00009279>
著者名:
ISBN:
9783540662013 [3540662014]
書誌ID:
BA42226397
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer-Verlag

European Symposium on Programming, Swierstra, S. Doaitse, European Conferences on Theory and Practice of Software

Springer

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

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer

International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-

Springer-Verlag

CAV (Conference), Halbwachs, Nicolas, Peled, Doron

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Middeldorp, Aart, 1963-

Springer

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer

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

Springer

International Conference on Rewriting Techniques and Applications, Comon, Hubert

Springer

International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert

Springer

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