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

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1985
形態:
vi, 440 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 202 <BA00009279>
著者名:
ISBN:
9783540159766 [3540159762] (: gw)
9780387159768 [0387159762] (: us)
書誌ID:
BA00508585
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Jouannaud, Jean-Pierre., SpringerLink (Online service)

Lescanne, Pierre, International Conference on Rewriting Techniques and Applications

Springer-Verlag

Lescanne, Pierre., SpringerLink (Online service)

Jouannaud

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

9 電子ブック Term Rewriting

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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

Springer

Kaplan, Stephane., Jouannaud, Jean-Pierre., SpringerLink (Online service)

International Conference on Fifth Generation Computer Systems, 元岡, 達(1929-1985), 日本情報処理開発協会

North-Holland Pub. Co., Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

Springer Verlag

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