>> Google Books

Conditional Term Rewriting Systems

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1988
ISBN:
9783540192428 [3540192425]
9783540391661 [3540391665]
書誌ID:
OB00286927
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Workshop CTRS, Remy, J. L., Rusinowitch, Michael

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

7 電子ブック Term Rewriting

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

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

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

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

Ohlebusch, Enno

Springer

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

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

Pfenning, Frank, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

Springer-Verlag

10 電子ブック Term Rewriting and Applications

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Terese

Cambridge University Press

11 電子ブック Term Rewriting and Applications

Baader, Franz, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer-Verlag

12 電子ブック Term rewriting and all that /

Baader, Franz, Nipkow, Tobias

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