>> Google Books

Term Rewriting and Applications / Franz Baader, Takeo Kanade

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007
著者名:
ISBN:
9783540734475 [3540734473]
9783540734499 [354073449X]
書誌ID:
OB00278566
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Pfenning, Frank, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Ölveczky, Peter Csaba, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

LPAR (Conference), Baader, Franz, Kanade, Takeo, Voronkov, AndreÄ­

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Baader, Franz

Cambridge University Press

9 電子ブック 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

Voronkov, Andrei, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

EvoWorkshops 2005, Kanade, Takeo, Rothlauf, Franz

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Treinen, Ralf, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Comon-Lundh, Hubert, Kanade, Takeo, Kirchner, Claude, Kirchner, Hélène

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Ohlebusch, Enno

Springer

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