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

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
形態:
vi, 285 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 256 <BA00009279>
著者名:
ISBN:
9780387172200 [0387172203] (: us)
9783540172208 [3540172203] (: gw)
書誌ID:
BA00568270
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Jouannaud, Jean-Pierre, International Conference on Rewriting Techniques and Applications

Springer-Verlag

International Conference on Applications and Theory of Petri Nets, Azéma, Pierre, Balbo, Gianfranco

Springer

AAECC, Calmet, Jacques, 1941-, Laboratoire d'informatique fondamentale et d'intelligence artificielle (Saint-Martin …

Springer-Verlag

Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre

Springer-Verlag

EUROCRYPT, Beth, Thomas, 1949-, Cot, Norbert, 1945-, Ingemarsson, Ingemar, 1938-

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer

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

Springer

International Conference on Rewriting Techniques and Applications, Narendran, Paliath, 1955-, Rusinowitch, M. (Michael)

Springer

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer

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

Springer-Verlag

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

Springer

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