>> Google Books

Conditional Term Rewriting Systems / International Workshop CTRS, J. L. Remy, Michael Rusinowitch

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1993
著者名:
ISBN:
9783540563938 [3540563938]
9783540475491 [3540475494]
書誌ID:
OB00490814
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

7 図書 Conditionals

Woods, M. J. (Michael J.), Wiggins, David, Edgington, Dorothy

Clarendon Press, Oxford University Press

Kaplan

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Paliath Narendran, Narendran, Paliath, Rusinowitch, Michael

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …

Springer-Verlag

International CTRS Workshop, Kaplan, Stéphane, Okada, Mitsuhiro

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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

Springer-Verlag

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Terese

Cambridge University Press

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

International Conference on Rewriting Techniques and Applications, Giesl, J?rgen, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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