>> Google Books

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

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

類似資料:

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

Springer-Verlag

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

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

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

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

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

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

Springer-Verlag

Terese

Cambridge University Press

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

Springer-Verlag

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

Springer

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

Springer-Verlag

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag

6 図書 Conditionals

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

Clarendon Press, Oxford University Press

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