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

Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)

資料種別:
図書
出版情報:
Berlin : Springer-Verlag, c1995
形態:
xii, 471 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 914 <BA00009279>
著者名:
ISBN:
9783540592006 [3540592008] (: Berlin)
書誌ID:
BA24823237
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer

International Conference on Rewriting Techniques and Applications, Comon, Hubert

Springer

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

Springer

International Conference on Rewriting Techniques and Applications, Kirchner, Claude

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer

International Conference on Rewriting Techniques and Applications, Dershowitz, Nachum, 1951-

Springer-Verlag

International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi

Springer-Verlag

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

Springer

Hsiang, Jieh

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

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

Springer-Verlag

Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T

Springer

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